:: deftheorem defines Core FUZNUM_1:def 4 :
for C being non empty set
for F being FuzzySet of C holds Core F = { x where x is Element of C : F . x = 1 } ;