Predikáty (p):
pl - ALL
pl - ANY
pe - EXIST
py - EMPTY
Predikáty sezapisují jako funkce (se závorkami)
pl - ALL
pl - ANY
pe - EXIST
py - EMPTY
Predikáty sezapisují jako funkce (se závorkami)