The Group Properties Wiki (pre-alpha)

TIP: Having trouble locating the wiki page for a term/definition? Get tips

ABOUT US: We use Semantic MediaWiki. Learn more about using Semantic MediaWiki

ALSO CHECK OUT: Commalg: The Commutative Algebra Wiki

From Groupprops

This term is related to: property theory
See more terms related to property theory OR see facts/theorems related to property theory

Contents 1 Definition 2 Related notions 2.1 Property space

BEWARE! This term is nonstandard and is being used locally within the wiki. For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this | Survey articles about this
Learn more about terminology local to the wiki | view a complete list of such terminology

Definition

A property over a collection of objects, is any of the following equivalent things:

• A map from the collection of objects, to the two-element set (true, false). Those elements which map to true are said to have the property, and those which map to false are said to not have the property
• A partition of the collection of objects into two subcollections, with one subcollection labelled the haves and the other labelled the have-nots
• A choice of a subcollection of the given collection

The collection of objects is termed the context space for the property. Typically, when we talk of properties over a collection of mathematical objects, we want the property to be over isomorphism classes of objects; two isomorphic objects should either both have the property or both not have the property.

Related notions

Property space

Further information: property space