subcompleteness

not defined yet