set operation step function fixed set real function special function explicit function mathematical function program choice function point function recursive function