theorem :: FUZNUM_1:17

for C being non empty set holds Core (UMF C) = C