Sets, functions and binary relations