monotone class は包含関係に関する単調列の極限を取る操作で閉じている集合族。