OFFSET
1,3
COMMENTS
In a poset, a mail is a nonempty set of elements of the poset having a common lower bound. A chainmail is a poset in which every mail has a join. A chainmail is connected if it's connected as a poset.
LINKS
J. F. Du Plessis, Z. Janelidze, and B. A. Wessels, A Primer on Chainmails: Structures for Point-free Connectivity, arXiv:2406.16923 [math.GM], 2024.
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Jean F. du Plessis, Jun 27 2024
STATUS
approved