Assertion: inclusion map | /r/CapableOf | map every element
Facets:
Source sentences:
text: of a set , the inclusion map of into is the injective (see below) function that maps every element of to itself.