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

Sets from Structures

Set(M) : Str -> 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) : Str -> SetFormal
Given a structure M, return the formal set consisting of its elements.
 [Next][Prev] [Right] [Left] [Up] [Index] [Root]

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013