Properties and Definitions of Functions