[Next] [Prev] [Right] [Left] [Up] [Index] [Root] 
Sets from Structures


Sets from Structures





Set(M) : Struct -> SetEnum



Given a finite structure that allows explicit enumeration
of its elements, return the set containing its elements
(having M as its universe).



FormalSet(M) : Struct -> SetForm



Given a structure M, return the formal set consisting
of its elements.



[Next] [Prev] [Right] [Left] [Up] [Index] [Root]