Strong Antichain

Let be a Poset. We say that is a strong antichain if any two distinct elements of are Incompatible:

Note that his is a stronger notion than that of Antichain. (and is the one used in Forcing and Continuum Hypothesis). When the context is clear, we will just say antichain.