Šf z > 12. Sets, Relations and Functions