Impredicative
Definitions about a
Set
which depend on the entire
Set
.
© 1996-9
Eric W. Weisstein
1999-05-26