Assertion: inclusion map | /r/HasProperty | injective see belowfunction
Facets:
value: of a set
type: OTHER
value: to itself
type: TRANSITIVE-OBJECT
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.
text: of a set , the inclusion map of into is the injective (see below) function that maps every element of to itself.