Examples

If some power set is partially ordered in the usual way (by ) then joins are unions and meets are intersections; in symbols, (where the similarity of these symbols may be used as a mnemonic for remembering that denotes the join/supremum and denotes the meet/infimum).

More generally, suppose that is a family of subsets of some set that is partially ordered by If is closed under arbitrary unions and

1.Previous
3.Next