Isomorfisme urutan antara pembagi 120 (sebagian diurutkan berdasarkan pembagian) dan himpunan bagian tertutup pembagi dari {2, 3, 4, 5, 8 } (diurutkan sebagian oleh penyertaan himpunan)