Wat betekent ⊓
Het verbindt twee elementen via hun grootste gemeenschappelijke ondergrens. In de roostertheorie is een rooster een partieel geordende verzameling waarin elk paar een uniek infimum (meet) en supremum (join) bezit. Het vierkante cap-teken duidt deze infimum-bewerking aan.
Hoewel het oogt als een hoekige doorsnede, wordt het toegepast in geordende systemen waarin elementen niet noodzakelijk verzamelingen zijn.
Is ⊓ hetzelfde als de doorsnede van verzamelingen ?
Alleen in een rooster van verzamelingen geordend op inclusie. Als de elementen verzamelingen zijn en de ordening deelverzameling () is, valt de grootste ondergrens samen met de klassieke doorsnede (A B).
In andere geordende structuren kunnen elementen getallen of proposities zijn. Bij reële getallen met hun gewone ordening kiest het infimum het minimum, een situatie waarin het doorsnedeteken niet van toepassing is.
Onderdeel van de collecties
Niet verwarren met
2
Verwante tekens
1
Veelgestelde vragen
2Hoe spreek je ⊓ uit?
Bij het hardop voorlezen meestal als «meet» of «infimum».
Waarom gebruikt men ⊓ in plaats van ?
Sommige auteurs kiezen ⊓ om verwarring te voorkomen wanneer logische conjunctie () of doorsnede () in dezelfde tekst voorkomen.
Meer zoals dit
13
⊓ typen of vinden
- Ook genoemd
- sqcap · vierkante doorsnede · meet-operator
- Zoek als
- roosterinfimum · grootste ondergrens
- Komt voor in
- Elk tekstveld · de vorm hangt af van je lettertype
⊓\2293Codes en coderingCodepunten: 1
Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.