Множина допустимих однорідних значень деякого атрибута

кортежі вихідного відношення, для заданого набору атрибутів

відношення, яке містить всі кортежі, як першого так і другого відношення

Можливий ключ відношення

відношення, що включає лише ті кортежі, що відповідають заданій умові (горизонтальна підмножина рядків)