行列
\(S\) を集合, \(m, n\) を自然数とするとき \(a_{ij} \in S\ (i=1,2,\ldots,m, j=1,2,\ldots,n)\) に対して
\[
(a_{ij})_{\{1\le i\le m,1\le j\le n\}} = \left(
\begin{array}{cccc}
a_{11} & a_{12} & \ldots & a_{1n} \\
a_{21} & a_{22} & \ldots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{m1} & a_{m2} & \ldots & a_{mn}
\end{array}
\right)
\]
を \(m\times n\) 行列(matrix)や \(m\)行\(n\)列行列という.
\(m\times n\) を行列のサイズ(size)または型(order)と呼ぶ.
サイズが明らかな場合は \((a_{ij})_{\{1\le i\le m,1\le j\le n\}}\) を単純に \((a_{ij})\) と書く.