(حَتَّى) هي التي تحكى بعدها الجمل والجملة المحكية بعدها هي الشرطية، إلا أنّ جزاءها محذوف، وإنما حذف لأنه صفة ثواب أهل الجنة، فدل بحذفه على أنه شيء لا يحيط به الوصف، وحق موقعه ما بعد (خالدين) .
وقيل: حتى إذا جاءوها، جاءوها وفتحت أبوابها، أي مع فتح أبوابها.
وقيل: أبواب جهنم لا تفتح إلا عند دخول أهلها فيها.
وأما أبواب الجنة فمتقدّم فتحها، بدليل قوله (جَنَّاتِ عَدْنٍ مُفَتَّحَةً لَهُمُ الْأَبْوابُ) فلذلك جيء بالواو، كأنه قيل: حتى إذا جاءوها وقد فتحت أبوابها.