supersimplicity semiampleness semipositivity semiprimitivity semi-decidability semisymmetrization semicontinuity semiprimality simplexity undersimplification