Computing (FOLDOC) dictionary
Jump to user comments
1. mathematics One instance of some mathematical object
contained with in another instance, e.g. a
group which is a
subgroup.
[X -@# Y] is an embedding if
(1) For all x1, x2 in X, x1 #@= x2 = F x1 #@= F x2 and
(1995-03-27)