Coreflexive relation

Coreflexive relation

In mathematics, a coreflexive relation is a binary relation that is a subset of the identity relation.[1] Thus if a is related to b (aRb) then a is equal to b (a = b), but if c is equal to d (c = d) it does not necessarily hold that c is related to d (cRd).

In mathematical notation, this is:

\forall a, b \in X,\ a R b \Rightarrow \; a = b.

The identity relation is coreflexive by definition. Any relation that is coreflexive is thus a subset of the identity relation.

For example, consider the relation R as "equal to and odd". Over the set of positive integers, the relationship R holds over the pairs {(1, 1), (3, 3), ...} but does not hold over {(2, 2), (4, 4), ...}.

Notes

  1. ^ Fonseca de Oliveira, J. N., & Pereira Cunha Rodrigues, C. D. J. (2004). Transposing Relations: From Maybe Functions to Hash Tables. In Mathematics of Program Construction (p. 337).

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Binary relation — Relation (mathematics) redirects here. For a more general notion of relation, see Finitary relation. For a more combinatorial viewpoint, see Theory of relations. In mathematics, a binary relation on a set A is a collection of ordered pairs of… …   Wikipedia

  • Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”