Assertion: set's element | /r/HasProperty | pairwise-incompatible
Facets:
Source sentences:
text: An antichain of \(P\) is a subset of \(P\) whose elements are pairwise-incompatible.