Let be a subset of a Poset . Suppose no two distinct elements of are related. Then is an antichain.