Set Theory: Specification

The goal of this library is to provide a complete specification of set theory concepts, but keeping it open for any possible implementation. The reason for such a design decision is that an implementation of the specified classes may be vastly different depending of the purpose of the implementation. For example, if implemented in order to produce classes to be used as models for specifications (like MML), the resulting implementation might be significantly different from another implementation whose scope is to provide structures for general data manipulation.

EiffelStudio bugs