semidivisiveness

not defined yet