Pencarian berdasarkan :
Pencarian terakhir:
σ disebut g-kongruen pada S jika untuk setiap 𝜎-klas 𝐴 dari 𝑆 terdapat satu dan hanya satu