Definition:Intransitive Relation