|
|
Given a finite structure that allows explicit enumeration
of its elements, return the set containing its elements
(having M as its universe).
Given a structure M, return the formal set consisting
of its elements.
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
|
|