relations in discrete math 133619