Each routing table defines what gateway to use for every possible address (or that there is no gateway for some addresses). Hence, both routing tables from the input are mappings from addresses to gateways. The problem is to check equivalence of these mappings.