○を1と定義する

○と○が重なればそこは2

2は○の中に含まれる

2=1である