[FOM] Question about Congruence
Andrej.Bauer at fmf.uni-lj.si
Wed Jan 30 06:08:21 EST 2008
hdeutsch at ilstu.edu wrote:
> First, is the simple fact about closer under equivalence well-known?
It is a mathematical triviality. As Vaughan Pratt said, it is evident
rathern than well-known. It's the sort of simple thing that
mathematicians wouldn't state as a separate theorem, except perhaps in a
basic textbook that teaches students equivalence relations.
More information about the FOM