theme D ∆ ∊ M ∅ N i ∪ M