i = isAntichain(P, L)
A set of elements of $P$ is called an antichain if no two distinct elements of the set are comparable.
|
|
|
The object isAntichain is a method function.