बहुत सी पाठ्यपुस्तकों में विषय एफ में कमी और सिस्टम एफ के लिए सामान्य सामान्यीकरण के प्रमाणों को देखना आसान है, कभी-कभी, जोड़े के साथ सिस्टम एफ की परिभाषाएं भी होती हैं, जहां (टी, आर) एक शब्द है, न कि केवल एक एन्कोडिंग। सवाल यह है कि इस प्रणाली का संदर्भ क्या होगा?
जवाबों:
एन्कोडिंग द्वारा दिए गए जोड़े का उपचार, जैसे कि सबूत और प्रकार में , जो आप आमतौर पर नहीं चाहते हैं, क्योंकि वे "सर्जनात्मक जोड़े" नहीं हैं, अर्थात, कोई ईटा नियम नहीं है। आइए हम सर्जनात्मक जोड़े, उत्पाद कहते हैं।
उत्पादों और इकाई के साथ प्रणाली एफ का एक विस्तार दिया गया है: डि कोस्मो, 1995, प्रकार के आइसोमोर्फिज्म: लंबो -कैलकुलस से लेकर सूचना पुनर्प्राप्ति और भाषा डिजाइन , बिर्कहॉसर: बेसल।