This module provides functionality in the field of mathematical logic for managing collections of distinct objects in sets and subsets. The functions cover elements of the classical, descriptive and inner-model set theories. The objects can be defined with the standard Erlang lists of terms, preferably list of atoms. |