semisimplicial semimodular semidistributive hemisemidirect semicuspidal cosemisimple semidirect semidirected semiprimal semipositive