ફક્ત જો તે સંબંધોમાંથી ઓછામાં ઓછો એક તૃતીય વસ્તુ પર લાગુ થાય છે, તો શું આપણે જાણીએ છીએ કે તે અન્ય સંબંધોને શામેલ કરવાનું ચોક્કસ છે.