1. ਮੁੱਖ ਸ਼ਬਦਾਵਲੀ
2. ਸ਼ਰਤੀ ਸਮੀਕਰਨ: ਉਹ ਸਮੀਕਰਨ ਜੋ ਚੱਲ (variable) ਦੇ ਇੱਕ ਜਾਂ ਇੱਕ ਤੋਂ ਵੱਧ ਮੁੱਲਾਂ ਲਈ ਸੱਚ ਹੋਵੇ ਅਤੇ ਬਾਕੀ ਸਾਰੇ ਮੁੱਲਾਂ ਲਈ ਝੂਠ ਹੋਵੇ, ਇੱਕ ਸ਼ਰਤੀ ਸਮੀਕਰਨ ਅਖਵਾਉਂਦਾ ਹੈ।
3. ਵਿਰੋਧਾਭਾਸ: ਉਹ ਸਮੀਕਰਨ ਜੋ ਚੱਲ (variable) ਦੇ ਸਾਰੇ ਮੁੱਲਾਂ ਲਈ ਝੂਠ ਹੋਵੇ, ਵਿਰੋਧਾਭਾਸ ਅਖਵਾਉਂਦਾ ਹੈ। ਵਿਰੋਧਾਭਾਸ ਦਾ ਕੋਈ ਹੱਲ ਨਹੀਂ ਹੁੰਦਾ।
4. ਸਰਬਸਮਤਾ: ਉਹ ਸਮੀਕਰਨ ਜੋ ਚੱਲ (variable) ਦੇ ਕਿਸੇ ਵੀ ਮੁੱਲ ਲਈ ਸੱਚ ਹੋਵੇ, ਸਰਬਸਮਤਾ ਅਖਵਾਉਂਦੀ ਹੈ। ਸਰਬਸਮਤਾ ਦਾ ਹੱਲ ਸਾਰੇ ਵਾਸਤਵਿਕ ਨੰਬਰ ਹੁੰਦੇ ਹਨ।
5. ਸਮੀਕਰਨ ਦਾ ਹੱਲ: ਸਮੀਕਰਨ ਦਾ ਹੱਲ ਚੱਲ (variable) ਦਾ ਉਹ ਮੁੱਲ ਹੁੰਦਾ ਹੈ ਜੋ ਸਮੀਕਰਨ ਵਿੱਚ ਬਦਲਣ (substitute) 'ਤੇ ਇੱਕ ਸੱਚਾ ਬਿਆਨ ਬਣਾਉਂਦਾ ਹੈ।