يقول تعالى:الجنات التي يدخلها التائبون من ذنوبهم ، هي ) جنات عدن ) أي:إقامة ) التي وعد الرحمن عباده ) بظهر الغيب ، أي:هي من الغيب الذي يؤمنون به وما رأوه; وذلك لشدة إيقانهم وقوة إيمانهم .

وقوله:( إنه كان وعده مأتيا ) تأكيد لحصول ذلك وثبوته واستقراره; فإن الله لا يخلف الميعاد ولا يبدله ، كقوله:( كان وعده مفعولا ) [ المزمل:18] أي:كائنا لا محالة .

وقوله هاهنا:( مأتيا ) أي:العباد صائرون إليه ، وسيأتونه .

ومنهم من قال:( مأتيا ) بمعنى:آتيا; لأن كل ما أتاك فقد أتيته ، كما تقول العرب:أتت علي خمسون سنة ، وأتيت على خمسين سنة ، كلاهما بمعنى واحد