ABSTRACT: This work deals with zero-error subspaces of quantum channels and their intimate connection with quantum and classical codes. We give operator algebraic characterizations of such subspaces and give some upper and lower bounds on their maximum dimension. Classical and quantum codes and (quantum) noiseless subsystems may be considered as special cases of zero-error subspaces. We explore several consequences of this fact.