argutia.logic.sets
Interfaces 
IFamilyOfSets
ISetOfFormulas
MutableSet
Set
Classes 
FamilyOfSets
MutableFamilyOfSets
MutableSetOfFormulas
Partition
SetOfFormulas