Assertion: kernel | /r/HasProperty | diagonal set
Facets:
value: exactly
type: DEGREE
Source sentences:
text: The homomorphism f is injective if and only if its kernel is only the diagonal set {(m,m) : m in M}.
text: The homomorphism f is injective if and only if its kernel is exactly the diagonal set {(a,a) :