{ f where f is Function of REAL,REAL : ex a, b being Real st
for x being Real holds f . x = max (0,(cos ((a * x) + b))) } c= Membership_Funcs REAL