فرض کنید (x, x0) یک فضای همبند ساه باشد و w: y--->x یک تابع پیوسته باشد. در این صورت نگاشتهای x و w وجود دارند به طوری که: x: c*(x)--->cu*(x) w: (cw*(y);c*(x))--->cu*(f) جایی که f همان فیبرهموتوپی نگاشت w, x می باشد. نگاشتهای بر روی همولوژی ایجاد یکریختی می کنند. ضمنا نماد (-) در سمت چپ بیانگر ساختمان cobar می باشد که بوسیله آدامز اختراع شده است .
