untransitiveness

not defined yet