Birkhoff's Representation Theorem - Rings of Sets and Preorders

Rings of Sets and Preorders

Birkhoff (1937) defined a ring of sets to be a family of sets that is closed under the operations of set unions and set intersections; later, motivated by applications in mathematical psychology, Doignon & Falmagne (1999) called the same structure a quasi-ordinal knowledge space. If the sets in a ring of sets are ordered by inclusion, they form a distributive lattice. The elements of the sets may be given a preorder in which x ≤ y whenever some set in the ring contains x but not y. The ring of sets itself is then the family of lower sets of this preorder, and any preorder gives rise to a ring of sets in this way.

Read more about this topic:  Birkhoff's Representation Theorem

Famous quotes containing the words rings of, rings and/or sets:

    “You held my hand
    and were instant to explain
    the three rings of danger.”
    —Anne Sexton (1928–1974)

    “The next time the novelist rings the bell I will not stir though the meeting-house burn down.”
    —Henry David Thoreau (1817–1862)

    “There be some sports are painful, and their labor
    Delight in them sets off. Some kinds of baseness
    Are nobly undergone, and most poor matters
    Point to rich ends.”
    —William Shakespeare (1564–1616)