egenskap

i mängdteori menas med egenskap en 1-ställig relation . en egenskap är alltså en mängd (eller klass ) av objekt som alla ingår i den domän man utgår ifrån. (enligt abstraktionsprincipen kan vi identifiera varje egenskap med dess mängd, vilket får till följd att egentligen är inte alla egenskaper "mängder" i den betydelse som "mängd" får i en aximatisk mängdteori som ZFC .) de objekt i domänen som tillhör mängden har egenskapen, övriga saknar den. mängden av de objekt som … Läs mer