The set L YES ∪ L NO {\displaystyle L_{\text{YES}}\cup L_{\text{NO}}} is called the promise.
Το σύνολο L YES ∪ L NO {\displaystyle L_{\text{YES}}\cup L_{\text{NO}}} καλείται υπόσχεση.