Algebraická definice - Algebraic definition

v matematická logika, an algebraická definice je ten, který lze zadat pouze pomocí rovnic mezi výrazy s volné proměnné. Nerovnosti a kvantifikátory jsou konkrétně zakázány.

Říkat, že definice je algebraická, je silnější podmínkou, než tvrdit, že je základní.

Příbuzný