("a""i" ∈ "a", "b""j" ∈ "b")という形に書く事ができる。