fsymbols
Đang tải ký hiệu…
››
⩥

Phản hạn chế miền giá trị trong Z

Phản hạn chế miền giá trị trong Z

102/256

⩥ nghĩa là “loại các cặp có những giá trị đầu ra này” trong ký pháp Z, ngôn ngữ toán học mô tả chính xác hệ thống máy tính. Phép phản hạn chế miền giá trị lọc một quan hệ, tức tập hợp các cặp giá trị. Trong R ⩥ T, cặp nào có giá trị thứ hai thuộc T sẽ bị loại; các cặp khác được giữ lại.

Ký hiệu văn bản

⩥ có nghĩa là gì

Nó xét giá trị thứ hai và loại cả cặp. Quan hệ liên kết các giá trị thành cặp: x ↦ y cho biết x liên kết với y. Miền giá trị là tập hợp các giá trị thứ hai. Trong R ⩥ T, R là quan hệ còn T chứa các giá trị cần loại trừ.

Ví dụ, nếu R = {1 ↦ 2, 2 ↦ 3, 4 ↦ 2} và T = {2} thì R ⩥ T = {2 ↦ 3}. Cả hai cặp kết thúc bằng 2 đều bị loại. Cặp bắt đầu bằng 2 vẫn còn vì giá trị thứ hai của nó là 3.

Các cặp còn lại không đổi: ⩥ không thay giá trị hay đảo thứ tự của chúng. Phản hạn chế loại trừ các giá trị đã chọn; hạn chế miền giá trị thông thường chỉ giữ các cặp có những giá trị ấy.

Thuộc các bộ sưu tập

Đừng nhầm với

1

Cách gõ hoặc tìm ⩥

Tìm với
phản hạn chế miền giá trị · ký pháp Z · loại trừ miền giá trị
Xuất hiện trong
Mọi ô nhập văn bản · hình dạng phụ thuộc vào phông chữ
Windows (Word)
⎇Alt+XNhập 2A65, rồi nhấn AltX để được ⩥.
Windows
⊞Win+RChạy charmap để xem bảng đầy đủ, hoặc dùng thẻ Ω của bộ chọn emoji (Win .).
macOS
⌃Control+⌘Command+␣SpaceMở trình xem ký tự và tìm “z notation range antirestriction”.
Linux
⎈Ctrl+⇧Shift+UNhập 2a65, rồi nhấn Enter hoặc Space.
HTML
⩥
CSS
\2A65
Word trên Windows
Nhập 2A65, chọn bốn ký tự đó rồi nhấn Alt+X để chuyển thành ⩥.
Nếu thấy ô vuông
Chọn phông toán học có ⩥. Ô vuông thay thế có thể cho biết phông hiện tại thiếu hình dạng của ký tự này.
Mã và mã hóaĐiểm mã: 1
HTML thập phân
⩥
HTML thập lục phân
⩥
Nội dung CSS
content: "\2A65";
Mỗi chuỗi thoát kết thúc ở dấu gạch chéo ngược tiếp theo; cần khoảng trắng trước chữ số thập lục phân viết trực tiếp.
Mã hóa URL
%E2%A9%A5
1
Trên màn hình
1
Điểm mã
1
JS .length
3
Byte UTF-8

Một ký hiệu hiển thị có thể gồm nhiều điểm mã. JS .length đếm đơn vị UTF-16; UTF-8 đếm byte.

Các nhóm của ký hiệu này

1

Toán học và con số1.835 ký hiệu