coextensive

not defined yet