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

AsymmetricRelation ? (\x,y -> customer x y)