Comment common knowledge (Score 1) 1268
I'd always thought that equality was simply a transitive, symmetric, reflexive, binary relation that partitions a set into equivalence classes.
Very simple concept, I'd always assumed this was common knowledge...