discrete math ordered pairs