Relasi finiter

Dalam matematika, **relasi finiter** dari himpunan  adalah bagian dari produk Kartesius ; yaitu satu himpunan tupel-*n*  terdiri dari elemen *x**i* dalam *X**i*. Biasanya, relasi mendeskripsikan kemungkinan koneksi antara elemen tupel-*n*. Sebagai contoh, relasi "*x* habis dibagi *y* dan *z*" terdiri dari himpunan tupel-3 sehingga ketika disubstitusikan ke *x*, *y* dan *z*, kalimat tersebut menjadi benar.

Bilangan bulat non-negatif *n* yang memberikan jumlah "tempat" dalam relasi disebut *[[ariti]]*, *adiciti* atau *derajat* dari relasi. Relasi dengan *n* "tempat" disebut dengan berbagai cara **relasi ari-''n***, *'relasi adik-*n*** atau **relasi derajat *n***. Relasi dengan sejumlah tempat terbatas disebut ''relasi finiter'' (atau ''relasi'' jika konteksnya jelas). Mungkin juga untuk menggeneralisasi konsep menjadi ''relasi tak hingga'' dengan [[barisan|barisan tak hingga]].

Relasi ari-''n'' atas himpunan  adalah elemen dari [[himpunan daya]] dari .

Relasi 0-ari hanya menghitung dua anggota. Karena hanya ada satu 0-tupel, tupel kosong (). Mereka terkadang berguna untuk membangun kasus dasar dari argumen [[Induksi matematika|induksi]].

Relasi dapat dilihat sebagai kumpulan anggota (seperti kumpulan [[pemenang Nobel]]) memiliki beberapa sifat (seperti yang telah dianugerahi [[Hadiah Nobel]]).

[[Relasi biner]] adalah bentuk hubungan finiter yang paling umum dipelajari. Maka ''X''<sub>1</sub> = ''X''<sub>2</sub> disebut [[relasi homogen]], misalnya:
* [[Kesetaraan (matematika)|Kesetaraan]] dan [[pertidaksamaan (matematika)|pertidaksamaan]], dilambangkan dengan tanda = dan < dalam pernyataan "", atau 
* [[Pembagian]], dilambangkan dengan tanda ÷ dalam pernyataan seperti "13÷143".
Jika tidak, [[relasi heterogen]], misalnya:
* [[Elemen (matematika)|Himpunan elemen]], dilambangkan dengan tanda ∈ dalam pernyataan "".

== Contoh ==
Pertimbangkan relasi terner ''R'' "''x'' bahwa ''y'' menyukai ''z''" dengan anggota }, didefinisikan oleh:
: }.

''R'' dapat direpresentasikan secara ekuivalen dengan tabel berikut:



Barisan mewakili tiga dari ''R'', yaitu pernyataan dalam bentuk "''x'' bahwa ''y'' suka ''z''". Misalnya, baris pertama menyatakan bahwa "Siti mengira Udin menyukai Denis". Semua baris berbeda. Urutan baris tidak signifikan tetapi urutan kolom signifikan.

Tabel di atas juga merupakan contoh sederhana dari [[database relasional]], bidang dengan teori yang berakar pada [[aljabar relasional]] dan aplikasi dalam manajemen data. Ilmu komputer, logikawan, dan matematikawan, bagaimanapun, cenderung memiliki konsepsi yang berbeda tentang relasi umum, dan terdiri dari apa. Misalnya, basis data dirancang untuk menangani data empiris, yang menurut definisi hingga, sedangkan dalam matematika, relasi dengan aritas tak hingga (yaitu, relasi tak hingga) dipertimbangkan.

== Definisi ==


Definisi pertama dari relasi yang dijumpai dalam matematika adalah:

; Definisi 1. —  **relasi** ''n''-ari ''R'' dari himpunan  adalah bagian dari produk Kartesius .

Definisi kedua dari relasi menggunakan idiom umum dalam matematika, menetapkan bahwa "ini dan itu adalah tupel-''n''" untuk memastikan bahwa ini dan itu objek matematika ditentukan oleh spesifikasi objek matematika dengan elemen ''n''. Dalam kasus relasi ''R'' di atas himpunan ''n'', maka  hal-hal yang perlu ditentukan, yaitu, himpunan ''n'' ditambah bagian dari produk Kartesius mereka. Dalam idiom hal ini diungkapkan dengan mengatakan bahwa ''R'' adalah tupel-().

; Definisi 2. — **relasi** ''n''-ari ''R'' dari himpunan  adalah tupel-(),  dimana ''G'' adalah bagian dari produk Kartesius  disebut ''grafik'' dari ''R''.

Sebagai kaidah, definisi dengan aplikasi yang ada akan dipilih untuk tujuan, dan jika perlu untuk membedakan antara dua definisi, maka entitas yang memenuhi definisi kedua dapat disebut ''tertanam'' atau ''relasi disertakan''.

Kedua pernyataan  dalam ''R'' (di bawah definisi pertama) dan  dalam ''G'' (di bawah definisi kedua) maka "''x''<sub>1</sub>, …, ''x''<sub>''n''</sub> adalah relasi-''R'' "dan dilambangkan dengan [[notasi Polandia|notasi awalan]] oleh  dan menggunakan [[Reserve notasi Polandia|notasi postfix]] oleh . Dalam kasus dimana ''R'' adalah relasi biner, pernyataan tersebut dilambangkan dengan [[notasi infix]] oleh .

Misalkan [[domain Boolean]] **B*' menjadi himpunan dua elemen, misalnya, }, yang elemennya dapat diartikan sebagai nilai logika, biasanya  dan . [[Fungsi indikator|fungsi karakteristik]] dari *R*, dilambangkan dengan χ<sub>*R*</sub>, adalah [[Fungsi nilai Boolean]] , didefinisikan oleh  jika  dan .

Dalam matematika terapan, [[ilmu komputer]] dan statistik, adalah umum untuk merujuk ke fungsi bernilai Boolean sebagai *n*-ari [[Predikat (matematika)|*predikat*]]. Dari sudut pandang yang lebih abstrak dari [[logika formal]] dan [[teori model]], relasi *R* merupakan *model logika* atau *struktur relasional*, yang berfungsi sebagai salah satu dari banyak kemungkinan [[interpretasi (logika)|interpretasi]] dari beberapa simbol predikat *n*-ari.

Karena relasi muncul dalam banyak disiplin ilmu, serta di banyak cabang [[matematika]] dan [[logika]], banyak variasi dalam terminologi. Selain dari [[teori himpunan]] [[ekstensi (semantik)|ekstensi]] dari konsep atau istilah relasional, istilah "relasi" juga dapat digunakan untuk merujuk ke entitas logis yang sesuai, baik [[Komprehensi (logika)|Komprehensi logika]], yang merupakan totalitas [[intensi]] atau sifat abstrak yang dimiliki oleh semua elemen dalam relasi, atau simbol yang menunjukkan elemen dan intensitas. Lebih lanjut, beberapa penulis dari persuasi terakhir memperkenalkan istilah dengan konotasi yang lebih konkret (seperti "struktur relasional" untuk perluasan teori himpunan dari konsep relasional tertentu).

== Sejarah ==

Logikawan [[Augustus De Morgan]], dalam karya yang diterbitkan sekitar tahun 1860, adalah orang pertama yang mengartikulasikan gagasan relasi dalam segala hal seperti pengertiannya saat ini. Dia juga menyatakan hasil formal pertama dalam teori relasi (tentang De Morgan dan relasi, lihat Merrill 1990).

[[Charles Sanders Peirce|Charles Peirce]], [[Gottlob Frege]], [[Georg Cantor]], [[Richard Dedekind]] dan lainnya mengajukan teori relasi. Banyak ide mereka, terutama pada relasi yang disebut [[Teori order|order]], diringkas dalam *The Principles of Mathematics* (1903) di mana [[Bertrand Russell]] memanfaatkan hasil ini secara bebas.

Pada tahun 1970, [[Edgar F. Codd|Edgar Codd]] mengusulkan [[model relasional]] untuk [[database]], sehingga mengantisipasi pengembangan [[sistem manajemen basis data]].

== Lihat pula ==

* [[Struktur insiden]]
* [[Hipergraf]]
* [[Logika relativ]]
* [[Matriks logik]]
* [[Order parsial]]
* [[Predikat (logika matematika)]]
* [[Proyeksi (teori himpunan)]]
* [[Relasi refleksif]]
* [[Aljabar relasi]]
* [[Aljabar relasional]]
* [[Model relasional]]
* [[Relasi (filosofi)]]


== Referensi ==
<references/>

== Bibliografi ==
* 
* [[Nicolas Bourbaki|Bourbaki, N.]] (1994) *Elements of the History of Mathematics*, John Meldrum, trans. Springer-Verlag.
* [[Rudolf Carnap|Carnap, Rudolf]] (1958) *Introduction to Symbolic Logic with Applications*. Dover Publications.
* [[Paul Richard Halmos|Halmos, P.R.]] (1960) *Naive Set Theory*. Princeton NJ: D. Van Nostrand Company.
* [[Francis William Lawvere|Lawvere, F.W.]], and R. Rosebrugh (2003) *Sets for Mathematics*, Cambridge Univ. Press.
* [[Clarence Irving Lewis|Lewis, C.I.]] (1918) , Chapter 3: Applications of the Boole—Schröder Algebra, via [[Internet Archive]]
* [[John Lucas (philosopher)|Lucas, J. R.]] (1999) *Conceptual Roots of Mathematics*. Routledge.
* [[Roger Maddux|Maddux, R.D.]] (2006) *Relation Algebras*, vol.&nbsp;150 in 'Studies in Logic and the Foundations of Mathematics'. Elsevier Science.
* Merrill, Dan D. (1990) *Augustus De Morgan and the logic of relations*. Kluwer.
* [[Charles Sanders Peirce|Peirce, C.S.]] (1870), "Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic", *Memoirs of the American Academy of Arts and Sciences* 9, 317–78, 1870. Reprinted, *Collected Papers* CP 3.45–149, *Chronological Edition* CE 2, 359–429.
* [[Charles Sanders Peirce|Peirce, C.S.]] (1984) *Writings of Charles S. Peirce: A Chronological Edition, Volume 2, 1867-1871*. Peirce Edition Project, eds. Indiana University Press.
* [[Bertrand Russell|Russell, Bertrand]] (1903/1938) *The Principles of Mathematics, 2nd ed.* Cambridge Univ. Press.
* [[Patrick Suppes|Suppes, Patrick]] (1960/1972) *Axiomatic Set Theory*. Dover Publications.
* [[Alfred Tarski|Tarski, A.]] (1956/1983) *Logic, Semantics, Metamathematics, Papers from 1923 to 1938*, J.H. Woodger, trans. 1st edition, Oxford University Press. 2nd edition, J. Corcoran, ed. Indianapolis IN: Hackett Publishing.
* [[Stanislaw Ulam|Ulam, S.M.]] and [[Al Bednarek|Bednarek, A.R.]] (1990), "On the Theory of Relational Structures and Schemata for Parallel Computation", pp.&nbsp;477–508 in A.R. Bednarek and Françoise Ulam (eds.), *Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators*, University of California Press, Berkeley, CA.
* [[Stanislaw Ulam|Ulam, S.M.]] (1990) *Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators* in A.R. Bednarek and Françoise Ulam, eds., University of California Press.
* [[Roland Fraïssé]] (2000) [1986] *Theory of Relations'', North Holland