[see also: put, replace
We can substitute a subspace A of X for the set {0,1}.
Substitute this value of z into <in> (7) to obtain......