ThmDex – An index of mathematical definitions, results, and conjectures.

▼	Set of symbols
▼	Alphabet
▼	Deduction system
▼	Theory
▼	Zermelo-Fraenkel set theory
▼	Set
▼	Binary cartesian set product
▼	Binary relation
▼	Map
▼	Countable map
▼	Array
▼	Matrix

Definition D103

Finite matrix

Formulation 0

A D102: Matrix $x : J \to X$ is a finite matrix if and only if $J$ is a D17: Finite set.