[FOM] Question about Congruence

Andrej Bauer 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 mailing list