The eighth lecture in Dr Joel Feinstein's G11FPM Foundations of Pure Mathematics module covers definitions and examples of Cartesian products and (binary) relations, including order relations and congruence modulo k.
These videos are also available for download on iTunes U at: https://itunes.apple.com/us/itunes-u/foundations-pure-mathematics/id950755120
Dr Feinstein's blog may be viewed at: http://explainingmaths.wordpress.com
Dr Joel Feinstein is an Associate Professor in Pure Mathematics at the University of Nottingham.