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