for f, g being Function st dom f = dom g & f is segmental holds
g is segmental ;