Title: Sets, relations, and functions