separableness
not defined yet