Besonderhede van voorbeeld: 5744178706620097748

German

Ist eine Teilmenge einer gerichteten Menge nicht konfinal, so ist ihr Komplement konfinal.

English

If a subset of a directed set is not cofinal, then its complement is.