Description: Distributive law for restriction over difference. (Contributed by BTernaryTau, 15-Aug-2024)