Operador de interseção quadrada n-ária

Ele toma a maior cota inferior de muitos elementos de uma vez. Costuma vir com um índice embaixo, como ⨅ᵢ xᵢ, lido «o ínfimo de todos os xᵢ». Pertence à teoria da ordem, sobretudo aos reticulados: estruturas ordenadas em que quaisquer dois elementos têm ínfimo e supremo.

O que é «abaixo» depende da ordem. Em subconjuntos ordenados por inclusão, o ínfimo é a interseção. Em inteiros positivos ordenados por divisibilidade, é o máximo divisor comum: o de 12, 18 e 30 é 6. Nos reais, é o ínfimo que os livros também escrevem inf. Seu par ⨆ dá o supremo.

Por que um «cap» quadrado e não o ⋂ redondo?

A forma quadrada indica uma ordem geral, não conjuntos literais. O ⋂ redondo promete interseção de conjuntos. Os autores usam ⨅ quando os elementos não são conjuntos ou querem destacar a ordem, algo comum na teoria de domínios e na análise de programas. No mesmo texto os dois não se trocam: mantenha o sinal escolhido pelo autor.