Ehto on lauseke, joka voi sisältää vertailuoperaattoreita, vakioita, yhdistysoperaattorin ja viittauksia. Ehdon sisällön on oltava sellainen, että ehdon vertaaminen toiseen arvoon johtaa totuusarvoon TOSI tai EPÄTOSI.