term
term [fr.< lat.], log. formule, která obsahuje proměnné a konstanty pro objekty určité oblasti I , stejně jako znaky pro určité operace v I a která vyjadřuje např. i proces výpočtu, pomocí něhož lze pro libovolné hodnoty proměnných zprostředkovat určitý objekt z I jako odpovídající hodnotu termu.
