fsymbols
Memuat simbol…
››
⨾

Komposisi relasi dalam notasi Z

Komposisi relasi dalam notasi Z

63/256

⨾ menggabungkan dua relasi: ikuti relasi pertama, lalu relasi kedua melalui nilai perantara yang sama. Simbol matematika berbentuk titik koma ini digunakan dalam notasi Z, bahasa untuk menjelaskan secara tepat apa yang harus dilakukan perangkat lunak. Karakternya berbeda dari titik koma biasa.

Simbol teks

Apa arti ⨾

Simbol ini menghubungkan kedua ujung hubungan dua langkah. Relasi adalah himpunan pasangan yang menunjukkan unsur mana yang saling berhubungan. Dalam R ⨾ S, jika R menghubungkan a dengan b dan S menghubungkan b tersebut dengan c, relasi hasil komposisi menghubungkan a dengan c. Harus ada setidaknya satu nilai perantara b yang cocok.

Misalnya, R menghubungkan orang dengan kota tempat tinggalnya, dan S menghubungkan kota dengan negara. Maka R ⨾ S menghubungkan orang dengan negara melalui kotanya. Kota memungkinkan hubungan itu terbentuk, tetapi tidak menjadi bagian dari pasangan hasilnya.

Urutannya dari kiri ke kanan: R dahulu, lalu S. Membalik urutan umumnya mengubah hasil, dan tipe unsurnya mungkin tidak lagi cocok. Relasi bisa memiliki beberapa pasangan yang cocok, jadi tidak terbatas pada perhitungan dengan satu keluaran untuk setiap masukan.

Notasi matematika khusus untuk deskripsi formal perangkat lunak, bukan tanda baca sehari-hari.

Bagian dari koleksi

Jangan tertukar dengan

2

Perlu diketahui

  • Konvensi titik koma untuk komposisi relasi lebih tua daripada Z: penggunaannya dapat ditelusuri ke karya Ernst Schröder tahun 1895. Ini sejarah notasinya, bukan karakter Unicode ini.

Cara mengetik atau menemukan ⨾

Juga disebut
titik koma tebal
Cari sebagai
notasi Z · komposisi relasi · komposisi relasional
Muncul di
Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan
Windows (Word)
⎇Alt+XKetik 2A3E, lalu tekan AltX untuk mendapatkan ⨾.
Windows
⊞Win+RJalankan charmap untuk tabel lengkap, atau gunakan tab Ω pada pemilih emoji (Win .).
macOS
⌃Control+⌘Command+␣SpaceBuka penampil karakter dan cari “z notation relational composition”.
Linux
⎈Ctrl+⇧Shift+UKetik 2a3e, lalu tekan Enter atau Spasi.
HTML
⨾
CSS
\2A3E
Kode dan pengodeanTitik kode: 1
HTML desimal
⨾
HTML heksadesimal
⨾
Konten CSS
content: "\2A3E";
Setiap escape berakhir pada garis miring terbalik berikutnya; perlu spasi sebelum digit heksadesimal literal.
Dikodekan untuk URL
%E2%A8%BE
1
Di layar
1
Titik kode
1
JS .length
3
Byte UTF-8

Satu simbol yang terlihat dapat berisi beberapa titik kode. JS .length menghitung unit UTF-16; UTF-8 menghitung byte.

Kelompok simbol ini

1

Matematika dan angka1.835 simbol