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 saknar egenskapen är egenskapens komplement. Mängden av dessa två mängder, egenskapen och egenskapens komplement, är alltså en partition av domänen. Den tomma egenskapen är den som saknar element och dess komplement är hela domänen.