A set of elements of P is called an antichain if no two distinct elements of the set are comparable.
i1 : D = divisorPoset 12;
i2 : isAntichain(D, {2,3}) o2 = true
i3 : isAntichain(D, {2,6}) o3 = false