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.

 Vide etiam 
 Tabella de leges algebric

!