x⊂y| 0pq1
---------------
0   | 1111
p   | q1q1
q   | pp11
1   | 0pq1
---------------
ということになり
|x=y|=|x⊂y|∧|y⊂x|
より
x=y | 0pq1
---------------
0   | 1qp0
p   | q10p
q   | p01q
1   | 0pq1
---------------
となる