Description: The proper substitution of a class into the empty set is the empty set. (Contributed by NM, 18-Aug-2018) Avoid ax-12 . (Revised by Gino Giotto, 28-Jun-2024)