If and (i.e, , where denotes Implies), then and are said to be equivalent, a relationship which is written symbolically as or . However, if and are ``equivalent by definition'' (i.e., is Defined to be ), this is written , a notation which conflicts with that for a Congruence.

© 1996-9

1999-05-25