Himpunan pasangan berurutan dari elemen himpunan daerah asal yang dipetakan ke elemen himpunan daerah kawan disebut dengan *relasi*. Relasi ini menggambarkan hubungan antara dua himpunan, dimana setiap elemen dari himpunan daerah asal (domain) dipasangkan dengan elemen dari himpunan daerah kawan (kodomain).