模式図：円の面積は集合のサイズを表しません。