embedding (111B)
1 # Embedding 2 3 An [injective] [homomorphism] 4 5 Up: [homomorphism], [injective] 6 7 See also: [subsequence_embedding]