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