συνθήκη

Η συνθήκη είναι μια παράσταση που μπορεί να περιλαμβάνει τελεστές σύγκρισης, σταθερές, τον τελεστή συνένωσης με συμπλεκτικό και αναφορές. Τα περιεχόμενα της συνθήκης πρέπει να είναι τέτοια ώστε το αποτέλεσμα της σύγκρισης της συνθήκης με άλλη τιμή να αποδίδει σε τιμή Boole TRUE ή FALSE.