Let m and n be natural numbers with 1≤m and 1≤n, let R be the real numbers, and for a natural number p let [p] be the initial segment determined by p. Let A, B, C and D be real matrices of sizes m×m, m×n, n×m and n×n respectively.
As recorded in Concatenation Identifies a Product of Euclidean Spaces with a Euclidean Space, every k∈[m+n] satisfies exactly one of the following: k∈[m]; or k=m+i for a unique i∈[n].
The block matrix
(ACBD)
is the real (m+n)×(m+n) matrix M whose entries are given, for k,l∈[m] and i,j∈[n], by
Mkl=Akl,Mk,m+j=Bkj,Mm+i,l=Cil,Mm+i,m+j=Dij.