يقول تعالى ذكره:فأولئك يدخلون الجنة ( جَنَّاتِ عَدْنٍ ) وقوله:(جنات عدن) نصب ترجمة عن الجنة. ويعني بقوله ( جَنَّاتِ عَدْنٍ ) بساتين إقامة. وقد بينت ذلك فيما مضى قبل بشواهده المغنية عن إعادته.

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