Description: Deduction form of fdm . The domain of a mapping. (Contributed by Glauco Siliprandi, 26-Jun-2021)