# 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).