Set Theory: Implementation

The primary goal of this implementation is to produce classes capable of being used as specification models, like MML. As such, every object in this implementation is immutable.