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
Real collection matrix
Rational matrix
Integer matrix
Natural number matrix
Definition D5930
RGB image
Formulation 0
Let $\text{RGB}$ be the D5928: Set of RGB colors.
A D1003: Natural number matrix $A \in \mathbb{N}^{N \times M}$ is an RGB image if and only if \begin{equation} A \in \text{RGB}^{N \times M} \end{equation}