SymmetricRelation ? (\x,y -> oppositeDirection x y)

IrreflexiveRelation ? (\x,y -> oppositeDirection x y)