Removing order pairs to establish a function