coextensiveness

not defined yet