theorem :: TOPGRP_1:1

for S being 1-sorted holds rng (id S) = [#] S by RELAT_1:45;