[mathgradthrow]

Equality is defined on sets. Everything is a set. Equality means equalty as sets. That's how math aorks unless you're doing type theory shit.