≥表示包含
因为A∩B表示A和B的公共部分,所以A≥A∩B,B≥A∩B,A∩B=B∩A.A∩⊙=⊙
因为A∩B＝B,所以A≥B
因为A∩B=A,所以B≥A