○
{x} ⊂ {{x},{y},{z}}
a ∈ {a,b}