दो संकारकों का क्रमविनिमेयक है। संस्थापक उदाहरण, से:
दो प्रेक्ष्य तब संगत कहलाते हैं जब हो: तब वे कोई उभयनिष्ठ अभिलक्षणिक आधार स्वीकार करते हैं और एक साथ जाने जा सकते हैं; एक को नापने से वह अवस्था विक्षुब्ध नहीं होती जो दूसरे में तीखी हो। ऐसे क्रमविनिमेय प्रेक्ष्यों का समुच्चय, जिसका उभयनिष्ठ अभिलक्षणिक आधार अद्वितीय हो (कोई CSCO), वही है जिसे “किसी अवस्था पर पूरा नाम लगाना” कहते हैं — संदूक के नाम ठीक यही थे।