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