Video ini membahas tentang Teorema Komposisi dalam Matematika Diskrit, khususnya pada topik Relasi. Teorema tersebut menyatakan bahwa relasi pada himpunan A adalah relasi transitif jika dan hanya jika R pangkat n merupakan subset dari R untuk setiap n. Untuk membuktikannya, digunakan dua arah dengan induksi matematik. Selain itu, video juga menjelaskan konsep relasi n-ary yang merupakan sub-himpunan dari direct product dari N himpunan, dengan domain A1 sampai An dan derajat N. Contoh penerapan konsep tersebut adalah relasi pada Z pangkat tiga yang memeriksa apakah setiap triple ABC membentuk arithmetic progression.