Description: Utility theorem: reverse closure for any operation that results in a function. (Contributed by SN, 18-May-2025)