cccを語る際の注意として、ここで反鎖とはformula_3の部分集合formula_16で、その互いに異なる任意の二元が両立しないものことである。