Untuk menyatakannya dalam bahasa teori graf, misalkan Anda memiliki himpunan simpul \(S \subseteq A\text{.}\) Definisikan \(N(S)\) sebagai himpunan semua tetangga dari simpul-simpul dalam \(S\text{.}\) Dengan kata lain, \(N(S)\) memuat semua simpul (dalam \(B\)) yang bertetangga dengan sedikitnya satu simpul dalam \(S\text{.}\) (Dalam graf mahasiswa/topik, \(N(S)\) adalah himpunan topik yang disukai mahasiswa-mahasiswa dalam \(S\text{.}\)) Pembahasan di atas dapat diringkas sebagai berikut.