TeXipedia

notin

Denotes that an element is not a member of a specified set, commonly used in mathematical set theory and logic.

Overview

Essential for expressing non-membership relationships in mathematical notation, particularly in set theory, abstract algebra, and formal logic.

  • Frequently used in proofs and mathematical arguments to show exclusion from sets
  • Common in discrete mathematics when describing complement sets
  • Appears regularly in computer science contexts, especially in formal specifications and algorithm analysis
  • Often paired with its opposite (∈) when describing set properties

Examples

Showing an element is not in a set.

xR+x \notin \mathbb{R}^+
x \notin \mathbb{R}^+

Demonstrating non-membership in a specific set.

2+3iR2 + 3i \notin \mathbb{R}
2 + 3i \notin \mathbb{R}

Expressing that a number is not in a defined interval.

π[0,1]\pi \notin [0,1]
\pi \notin [0,1]