Egendom (matematik)
I matematik är en egenskap vilken egenskap som helst som gäller för en given mängd . Rigoröst , en egenskap p definierad för alla element i en mängd X definieras vanligtvis som en funktion p : X → {true, false}, det vill säga sant när egenskapen gäller; eller ekvivalent, som den delmängd av X för vilken p gäller; dvs mängden { x | p ( x ) = sant}; p är dess indikatorfunktion . Det kan dock invändas att den rigorösa definitionen bara definierar förlängningen av en fastighet och inte säger något om vad som gör att egendomen håller för just dessa värden.
Exempel
Av föremål
Av operationer
- associativ egenskap
- kommutativ egenskap för binära operationer mellan reella och komplexa tal
- fördelningsegendom .