Vad betyder ⊓
Den kombinerar två element genom att välja deras största gemensamma undre gräns. Ett gitter är ett ordnat system där varje par har en största undre och en minsta övre gräns. ”Gitterinfimum” och ”sqcap” betecknar den första operationen.
Är ⊓ samma sak som mängdsnitt?
Bara i ett gitter av mängder ordnade efter inklusion. Där är infimum snittet: mängden av element som finns i båda indata. I ett allmänt gitter betecknar ⊓ fortfarande den största undre gränsen, medan ∩ kanske inte är definierat.
Blanda inte ihop med
1Så skriver du ⊓
⊓\2293Koder och kodningKodpunkter: 1
En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.

