A relation R on a nonempty set S such that R is reflexive, symmetric, and transitive. That is, for all x, y, and z in S:

Sign up

Need help? accounthelp@everything2.com