discreteness

not defined yet