If M is any set, then write M ∪ `phi` and M ∩ `phi`.
If M is any set, then
M ∪ `phi` = M
and M ∩ `phi` = `phi`