PDC4S:\.@DOWNLOAD\02 - FC\discrete math sets relations functions and math induction