Dokumen tersebut membahas tentang korespondensi satu-satu, relasi, dan fungsi. Korespondensi satu-satu adalah himpunan yang memasangkan satu anggota domain ke satu anggota kodomain. Relasi dapat diungkapkan lewat diagram panah, diagram kartesius, atau himpunan pasangan berurutan. Fungsi berbeda dari relasi karena domain harus memiliki pasangan tunggal di kodomain.