▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Map
▾ Operation
▾ N-operation
▾ Binary operation
▾ Enclosed binary operation
▾ Groupoid
▾ Ringoid
▾ Semiring
▾ Ring
▾ Ring order
Finite ring
Formulation 0
A D24: Ring $R = (X, +, \times)$ is finite if and only if $X$ is a D17: Finite set.