theorem Th1: :: FUZZY_4:1

for C1 being non empty set
for F being Membership_Func of C1 holds
( rng F is real-bounded & ( for x being set st x in dom F holds
F . x <= upper_bound (rng F) ) & ( for x being set st x in dom F holds
F . x >= lower_bound (rng F) ) )