Hola. Acabo de colgar la segunda clase en YouTube.
Link: https://www.youtube.com/watch?v=LbaLQ_vlRmM&feature=youtu.be
Recuerden que los videos de las clases NO están editados, de manera que pueden pasar algunos pequeños errores involuntarios. Por ejemplo, hacia el final de la clase dije que el producto cartesiano estaba definido para conjuntos no vacíos. En realidad es trivial la extensión de la definición cuando alguno de los conjuntos es el conjunto vacío. Por ejemplo: 
, pues no hay ningún elemento para colocar en la segunda entrada de un par ordenado.
Saludos.