점이 있는 작다 기호

보통의 ‘작다’보다 조건이 더 구체적인 관계를 나타냅니다. 수학적 대상의 순서를 연구하는 순서론에서는 ⋖로 덮음 관계를 나타낼 수 있습니다. a ⋖ b는 a가 b보다 작고, 그 순서집합 안에서 두 원소 사이에 놓이는 원소가 없다는 뜻입니다. 이때 ‘b가 a를 덮는다’고 합니다.

예를 들어 정수를 보통의 크기순으로 놓으면 이 표기법에서 2 ⋖ 3은 성립하지만 2 ⋖ 4는 성립하지 않습니다. 사이에 3이 있기 때문입니다. 어떤 집합인지도 중요합니다. 실수에서는 2와 3 사이에도 수가 있습니다.

이는 확립된 용법 중 하나이며 ⋖의 보편적인 정의는 아닙니다. 특정 글에서 덮음 관계로 해석하기 전에는 저자가 정한 정의를 확인하세요.