Menor que com ponto

Marca uma relação mais específica do que «menor que». Na teoria da ordem, que estuda como os objetos matemáticos são ordenados, ⋖ pode indicar uma relação de cobertura. a ⋖ b significa que a está abaixo de b e que nenhum elemento do conjunto ordenado fica estritamente entre eles. Diz-se que «b cobre a».

Por exemplo, entre os inteiros na ordem habitual, 2 ⋖ 3 segue essa convenção, mas 2 ⋖ 4 não: há o 3 entre eles. O conjunto importa: entre os números reais, também existem números entre 2 e 3.

Esse é um uso estabelecido, não uma definição universal de ⋖. Confira a definição do autor antes de interpretar o sinal como uma relação de cobertura.