for X being non empty set
for S being SigmaField of X
for f being PartFunc of X,ExtREAL st f is empty holds
f is_simple_func_in S