The Language of Relations and Functions