Onto vs one to one diagrams discrete math