the relation of not being united with is both transitive and symmetric, but not reflexive

this basically means that any number lets say a must be united with its self, it is always the case that aUa, because of this simple trivial statement, not being united with fails to be an equivalence relation

this is fucking deep, I feel ultra smart for figuring this out