для каждого значения внешнего ключа, появляющегося в кортеже значения- отношения ссылающейся переменной отношения, либо в значении- отношении переменной отношения, на которую указывает ссылка, должен найтись кортеж с таким же значением первичного ключа, либо значение внешнего ключа должно быть полностью неопределенным.
Это: