theorem :: ZFMODEL2:24

for M being non empty set holds id M is_parametrically_definable_in M by Th23, ZFMODEL1:14;