Domain and scattering are a osl::relation