theorem :: FUZZY_5:52

for a, b being Real st b <> 0 holds
{ f where f is Function of REAL,REAL : for x being Real holds f . x = exp (- (((x - a) ^2) / (2 * (b ^2)))) } c= Membership_Funcs REAL