જ્યારે એક કેટેગરી અન્ય વ્યક્તિની મિલકતો (જેમ કે વ્યક્તિ અને નંબર ) માટે ઇન્ફ્ક્ક્વેલ્ડ છે, ત્યારે પ્રથમ શ્રેણી બીજા સાથે સંમત થાય છે .