(set theory, order theory) A subset, A, of a partially ordered set, (P, ≤), such that no two elements of A are comparable with respect to ≤.