predikát ( logika moderná)
- jazykový výraz, ktorý označuje vlastnosť alebo vzťah; triedová alebo relačná konštanta.