半单向量格

semi-simple vector lattice