और तीसरा घटक कंसट्रेंट है जो मूल रूप से इस X को कुछ सेट में कंसट्रेंट कर देता है जिसे परिभाषित किया जाएगा जैसे जैसे हम साथ चलेंगे।
आणि तिसरा घटक हा मर्यादा आहे जो मुळात या एक्सला काही संचावर प्रतिबंधित करतो, ज्याची व्याख्या आपण पुढे जाताना केली जाईल.