Dokumen menjelaskan tentang relasi dan fungsi. Relasi fungsi adalah relasi khusus yang memasangkan unsur-unsur domain dengan tepat satu unsur kodomain. Fungsi harus memenuhi syarat korespondensi satu-satu sementara relasi tidak harus. Dokumen juga mendefinisikan unsur-unsur fungsi seperti domain, kodomain, dan range.