Coba jelasin Contoh dari Relasi finiter dong

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.