ordered pairs discrete math