antireflexive

not defined yet