functions and relations