ちょっと躓いた

A,B整列集合、 A⊆B、A≠Bとする
m=min(B-A)とおく。
この時、A=B<m> (切片の意味) 
だが、A⊆B<m>の証明に躓いた