A comparison of lattice-theoretic approaches to fuzzy topology