Video ini membahas hubungan subset antara dua himpunan, dijelaskan melalui konsep subhimpunan. Konsep ini terkait dengan pernyataan logika "jika maka", dimana jika P benar dan Ki benar, semua anggota A harus anggota B. Jika P benar tapi Ki salah, maka ada anggota A yang tidak ada di B. Namun, jika keduanya salah, maka ada anggota yang tidak termasuk di A dan B. Dari penjelasan ini, dapat disimpulkan bahwa pernyataan P maka Ki hanya salah jika P benar dan Ki salah.