 Ẹka 1: Àwòrán-ìmọ ojú-ọrun topological _ 13 ni a pè ní  initial objecttàbí  initial structurení ìbámu pẹlú àwọn ìsọfúnni tí a fún wa. Ẹka ọrọ 2: Àlàfo onípínlẹ ìbẹrẹ Òmùgọ 13 ni a pè ní ohun èlò ìbẹrẹ  tàbí àlàfo onípínlẹ pẹlú ìjùmọ pẹlú àwọn ìsọfúnni tí a fún. Ìbéèrè: Ṣé ohun kan náà ni gbólóhùn 1 àti gbólóhùn 2 túmọ sí? Ṣé Bẹẹ ni àbí Bẹẹ kọ? : Rárá o 