Definition:Eigenspace