Description: Lemma for psdmul . Transitive law for union of class difference. (Contributed by SN, 5-May-2025)