الجملة الأولى: من المجموعة المثلية النسبية الثانية إلى المجموعة الأساسية ، يمكن إعطاء هيكل الوحدة المتقاطعة. الفانكتور الجملة الثانية: يمكن إعطاء هيكل الوحدة المتقاطعة من المجموعة النسبية الثانية إلى المجموعة الأساسية. السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟