•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  

공집합을 포함하지 않는 임의의 집합족의 곱집합은 공집합이 아니다 (역링크)