Page "Equivalence relation" Paragraph 34
from
Wikipedia
A frequent particular case occurs when f is a function from X to another set Y ; if x < sub > 1 </ sub > ~ x < sub > 2 </ sub > implies f ( x < sub > 1 </ sub >) = f ( x < sub > 2 </ sub >) then f is said to be a morphism for ~, a class invariant under ~, or simply invariant under ~.
Page 1 of 1.
2.182 seconds.