semialgebra (algebra + semi-; half_partial)
A class that is closed under intersection and semiclosed under set difference