set of ordered pairs relation