for Z being Subset of REAL st 0 in Z holds
(id Z) " {0} = {0}