En homeomorfi er en bijektiv transformasjon mellom to topologiserte mengder og , der transformasjonen har egenskapen at er et opphopningspunkt i hvis og bare hvis er et opphopningspunkt i . Dersom det er mulig å definere en homeomorfi mellom to mengder, så vil de ha de samme topologiske egenskapene.