Latanse (rekkefølge) - en delvis ordnet sett er en avgrenset latling hvis og bare hvis hvert begrenset sett av elementer (inkludert det tomme settet) har en bli med og et møte. For hvert grunnstoff x av en poset det er trivially sant (det er en acuous sannhet) at twyske en sylindermus: x col: x\ displaystyle\ for alle\ for alle\ varingenting: x\ leq en) og conklichind en:\\\ displaystyle\ for alle\ hre ingenting: en\ leq, og derfor er en nedre og begge sider. Dette betyr at det å bli med i et tomt sett er det minste elementet blinke = 0 (\\ displaystyle\ bivee\ varingenting = 0), og møte på det tomme settet er det største elementet Dechyce = 1 (\ displaystyle\ storwel\ varingenting = 1). Dette er konsekvent med å identifisere relativitet og gjenkjenningen i et møte og bli med: det å bli med i en union av endelig sett er lik med sammensetningen A og B av en avtale, og dermed er målet om en union av endelig sett lik åpningen på de møter, dvs. for endelig subsett A og B av en del L,
gjør systemet til alle undersett av en endelig sett under den operasjonen som er undersett av skjemaet en latling