De Morgan's laws
の三性質を満たすときに言う。これら三公理から、σ-集合体は可算交叉について閉じていることが（ド・モルガンの法則から）わかる。