뒤따르지 않음

Q: ⊁는 ‘크지 않다’는 뜻인가요?

≻를 수의 ‘엄격히 크다’ 관계로 정의했을 때만 그렇습니다. 이 경우 x ⊁ y는 x가 y보다 작거나 같다는 뜻입니다. 다른 순서에서는 그 순서의 정의를 따라야 합니다.

Q: 오른쪽에서 왼쪽으로 쓰는 글에서 왜 뒤집혀 보이나요?

텍스트 표시 과정에서 거울상으로 바뀔 수 있기 때문입니다. 유니코드는 양방향 텍스트의 거울상 쌍으로 ⊁와 ⊀를 지정합니다. 저장된 문자는 ⊁여도 반대 방향의 모양으로 표시될 수 있습니다.

⊁는 수학에서 ‘뒤따르지 않는다’를 나타냅니다. x ⊁ y는 정해진 순서에서 x가 y 뒤에 오지 않는다는 뜻으로, 순서나 선호 관계를 부정합니다. 그렇다고 x가 y 앞에 온다는 뜻은 아닙니다.

텍스트 기호

⊁의 의미

정해진 순서에서 x가 y를 뒤따른다는 관계를 부정합니다.

⊁는 에 부정을 나타내는 빗금을 더한 기호입니다. ‘뒤따른다’는 순서상 뒤에 온다는 뜻이며, 반드시 바로 다음이라는 뜻은 아닙니다. 영어 이름의 succeed도 여기서는 ‘성공하다’라는 뜻이 아닙니다. 순서는 원소들을 서로 어떻게 배치할지 정하는 규칙입니다. 선호 관계에서 x y가 ‘y보다 x를 엄격히 선호한다’는 뜻이라면 x ⊁ y는 그 선호가 성립하지 않는다는 뜻입니다.

관계를 부정한다고 반대 관계가 성립하지는 않습니다. 두 원소가 같거나 서로 비교할 수 없을 수도 있습니다. 비교할 수 없다는 것은 해당 순서의 규칙으로 어느 쪽이 앞서는지 정하지 못한다는 뜻입니다. 따라서 ‘x가 y 뒤에 오지 않는다’만으로 ‘x가 y 앞에 온다’고 결론 내릴 수 없습니다.