for M being non empty set holds id M is_definable_in M