TeXipedia

owns

Represents set membership in reverse notation, indicating that an element belongs to or is contained within a set.

Overview

Serves as a reversed version of the standard set membership symbol, providing an alternative way to express relationships between elements and sets in mathematical notation.

  • Common in set theory and abstract mathematics when emphasizing the containing set.
  • Particularly useful when the containing set is the focus of the expression.
  • Semantically equivalent to the standard ∈ symbol but written in reverse order.
  • Often employed in formal mathematical proofs and theoretical computer science.

Examples

Expressing set membership in reverse notation, showing that a set contains an element.

N∋5\mathbb{N} \owns 5 
\mathbb{N} \owns 5

Demonstrating that the real numbers contain pi as an element.

R∋π\mathbb{R} \owns \pi 
\mathbb{R} \owns \pi

Showing that a specific vector space contains a particular vector.

V∋v⃗V \owns \vec{v} 
V \owns \vec{v}