public override bool Contains(Notion element, Set set)
{
//an element e could be found to be in some set S
//- if the set that contains e is a (proper) subset of S
//- if e is known to be in S by an enumeration rule
return set.Supersets(element.Domain) || enumerationRelations.Contains(element, set);
}
