i1 : D = divisorPoset 12;
i2 : antichains D o2 = {{}, {1}, {2}, {2, 3}, {3}, {3, 4}, {4}, {4, 6}, {6}, {12}} o2 : List
i3 : antichains(D, 2) o3 = {{2, 3}, {3, 4}, {4, 6}} o3 : List
i4 : antichains chain 5 o4 = {{}, {1}, {2}, {3}, {4}, {5}} o4 : List