الإقتران يكون شاملا إذا كان كا عنصر في المجال المقابل - سأكتبها هكذا - لكل، لنقل y، و التي تنتمي إلى الجال المقابل Y، يوجد- هذه علامة إختصار لعبارة "يوجد" - يوجد على الأقل x تنتمي إلى المجال X، حيث أن