Daerah asal atau biasa disebut
domain suatu relasi adalah himpunan
tidak kosong dimana sebuah relasi
didefinisikan.
Daerah kawan atau biasa disebut kodomain
suatu relasi adalah himpunan
tidak kosong dimana anggota domain
memiliki pasangan sesuai relasi yang
didefinisikan