See SAC for definition.
Not closed under complement [BCD+89].
Not contained in ⊕SAC0 [K23].
No class.