Definition, synonyms and related words
A class that is closed under intersection and semiclosed under set difference