Zulip Chat Archive
Stream: Is there code for X?
Topic: Totally ordered subsets of a partial order
Chris Hughes (Aug 19 2021 at 15:10):
How much do we know about totally ordered subsets of a partial order?
Yaël Dillies (Aug 19 2021 at 16:07):
Do you mean directed?
Chris Hughes (Aug 19 2021 at 16:21):
No. Total means ∀ x y ∈ s, x ≤ y ∨ y ≤ x
Floris van Doorn (Aug 19 2021 at 16:39):
There is docs#zorn.chain
Yaël Dillies (Aug 19 2021 at 16:52):
Ah sorry! I meant zorn.chain.
Kevin Buzzard (Aug 19 2021 at 20:51):
What is there to know about them? They're a semilattice Inf bot?
Yaël Dillies (Aug 19 2021 at 20:54):
Well, I guess there's Dilworth's Theorem.
Last updated: Dec 20 2023 at 11:08 UTC