集合と冪集合に対して，集合族がσ集合族であるとは をすべて満たすことをいう． はの補集合です これになんで共通集合についての記述がないのかなと思っていましたが，2.と3.から導けるんですね(wikiに書いてあった)．でも，詳しいことは書いてなかったので…