semisaturation

not defined yet