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