Quick Reference

1 of a set S. A finite set of subsets of S whose union is just S itself. The subsets, A1, A2,…, Am, are said to cover S. If the elements Ai for i = 1, 2,…, m are mutually disjoint, then the covering {A1,…Am} is called a partition of S.

2 A relationship between two elements of a partially ordered set S. If x and y are elements of S then y covers x if and only if x<y, and whenever xzy for some element z in S, then either x = z or z = y.

Subjects: Computing.

Reference entries