Si para quitarte de dudas habla al 01800.... que aparece en el sitio de INFONAVIT en Internet, pero te adelanto por experiencia propia.-

Las casas con Crédito INFONAVIT   se pueden adquirir con otra persona que tambien tengra un credito INFONAVIT esto es se pasa el credito de una persona a otra ...............por ejemplo si tu casa vale $250,000.00

La otra persona tiene derecho a un credito de esta cantidad , tu debes 100,000.00 al INFONAVIT , la diferencia se te abonaria a ti $150,000.00  la otra forma obviamente es que te la paguen de ocntado , liquidas al INFONAVIT lo que debes , pides una carta de liberación de hipoteca al INFONAVIT , escrituran con el nuevo dueño , todo este trámite con el notario.. .. .