fsymbols
기호 불러오는 중…
››
⦈

Z 표기법의 상 오른쪽 괄호

Z 표기법의 상 오른쪽 괄호

9/128

⦈는 Z 표기법에서 관계에 의한 집합의 상을 나타낼 때 쓰는 닫는 괄호입니다. Z 표기법은 소프트웨어 시스템을 수학적으로 정확하게 기술하는 언어입니다. R⦇A⦈에서 괄호는 출발 집합 A를 감싸며, 식 전체는 관계 R이 A의 원소들과 연결하는 모든 값의 집합을 뜻합니다. 여기서 ‘상’은 그림이 아니라 결과로 얻는 집합입니다.

텍스트 기호

⦈의 의미

괄호 안의 집합에서 연결되는 값을 모두 모읍니다. 관계는 순서쌍들의 집합입니다. 각 순서쌍은 출발하는 값과 도착하는 값을 연결합니다. R은 관계, A는 출발 집합을 나타내며, ⦈는 A를 둘러싼 괄호를 닫습니다.

예를 들어 R에 순서쌍 (1, 2), (1, 3), (4, 5)가 있고 A가 {1}이면, R⦇A⦈는 {2, 3}입니다. 2와 3 모두 1에서 연결되므로 둘 다 포함됩니다. 관계에서는 하나의 출발 값이 여러 결과와 연결될 수 있습니다. A의 어느 원소에서도 연결되는 값이 없다면 결과는 공집합입니다.

포함된 컬렉션

알아 두면 좋은 점

  • Z 표기법은 1970년대 후반 옥스퍼드의 정형 기법 연구에서 틀을 갖추었습니다. 정형 기법은 수학으로 소프트웨어 시스템의 명세를 작성하고 그 동작을 논리적으로 검토하는 방법입니다.

⦈ 입력하거나 찾는 법

다음으로 검색
Z 표기법 괄호 · 상 오른쪽 괄호 · 관계에 의한 상 · 집합의 상
사용되는 곳
텍스트를 입력하는 모든 곳 · 모양은 글꼴에 따라 달라집니다
Windows (Word)
⎇Alt+X2988 입력 후 AltX를 누르면 ⦈가 됩니다.
Windows
⊞Win+Rcharmap으로 전체 표를 열거나 이모지 선택기의 Ω 탭(Win .)을 사용하세요.
macOS
⌃Control+⌘Command+␣Space문자 뷰어를 열고 “z notation right image bracket”을 검색하세요.
Linux
⎈Ctrl+⇧Shift+U2988 입력 후 Enter 또는 Space를 누르세요.
HTML
⦈
CSS
\2988
Microsoft Word
2988을 입력한 뒤 AltX를 누르면 코드가 ⦈로 바뀝니다.
코드와 인코딩코드 포인트: 1개
HTML 십진수
⦈
HTML 십육진수
⦈
CSS 내용
content: "\2988";
각 이스케이프는 다음 역슬래시에서 끝납니다. 뒤에 십육진수 문자를 그대로 쓰려면 공백이 필요합니다.
URL 인코딩
%E2%A6%88
1
화면상
1
코드 포인트
1
JS .length
3
UTF-8 바이트

화면에 보이는 기호는 여러 코드 포인트를 포함할 수 있습니다. JS .length는 UTF-16 단위를 세며 UTF-8은 바이트를 셉니다.

이 기호의 그룹

1

수학과 숫자기호 1,835개