Sets, Relations and Functions: A Programmed Unit in Modern Mathematics