The following definition is adapted from the article Set Theory in the macropedia of the Encyclopedia Britannica (1992):
The set S is defined as equivalent to the set T, symbolized
if and only if there exists a third set the members of which are ordered pairs such that:
Fine print, your comments, more links, Peter Alfeld, PA1UM
[16-Aug-1996]