apartness

not defined yet