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