Description: A mapping iterated zero times (defined as identity function). (Contributed by AV, 4-May-2024)