subextensibness

not defined yet