# Property of commutative unital rings

From Commalg

*This article is about a general term. A list of important particular cases (instances) is available at Category:Properties of commutative unital rings*

## Definition

A **property of commutative unital rings** is a map from the collection of all commutative unital rings to the two-element set **(True, False)** that is isomorphism-invariant: in other words, if two commutative unital rings are isomorphic, then either they both get mapped to **True** or they both get mapped to **False**.

The commutative unital rings that get mapped to **True** are said to *have* the property and those that get mapped to **False** are said to *not have* the property.