Knowledge in sets relations and functions