 The reject space is defined analogously, and the remaining space is designated the "non-halting" subspace.There are three projection matrices, formula_74, formula_75 and formula_76, each projecting to the respective subspace