Lege (mathematica)
In mathematica e specialmente in algebra, un lege es le redaction de un proprietate de un operation mathematic. Leges es usate pro definir structuras algebric.
- Pro definir un semigruppo in caso de un operation binari, suffice un sol lege, a saper le lege de associativitate.
- Pro definir un monoide in caso de un operation binari, suffice le duo lege de associativitate e lege del existentia de un elemento neutre.
- Pro definir un gruppo in caso de un operation binari, suffice le tres lege de associativitate, lege del existentia de un elemento neutre, e lege del existentia de un elemento inverse.
Sovente on usa lege e axioma synonymemente, ma durante que un axioma es considerate como ver sin necessitar provas, un lege es un proprietate que pote esser provate pro un certe structura.