ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
▼
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
▼
Left ring action
▼
Module
▼
Vector space
▼
Vector subspace
▼
Linear span
▼
Euclidean complex linear span
Definition D6151
Euclidean real linear span
Results
▶
Columns of a real identity matrix span the whole space
▶
Columns of a real matrix need not span the whole space