और तीसरा घटक कंसट्रेंट है जो मूल रूप से इस X को कुछ सेट में कंसट्रेंट कर देता है जिसे परिभाषित किया जाएगा जैसे जैसे हम साथ चलेंगे।
ಮತ್ತು ಮೂರನೆಯ ಅಂಶವೆಂದರೆ ಈ X ಅನ್ನು ಮೂಲತಃ ಕೆಲವು ಸೆಟ್ ಗೆ ನಿರ್ಬಂಧಿಸುತ್ತದೆ, ಅದು ಮುಂದೆ ವ್ಯಾಖ್ಯಾನಿಸಲ್ಪಡುತ್ತದೆ.