for f, g being Function holds
( dom f, dom g are_equipotent iff f,g are_equipotent )