عبارت است از بودن وجود شیء مسبوق بعدم آن بحیثیّتی که سابق و مسبوق با هم جمع نشوند خواه مسبوقیّت و سابقیّت به زمان باشد یا نه. (عبارة عن کون وجود الشّیء مسبوقا بعدمه بحیث لا یجتمع السّابق و المسبوق معا، سواء کانت المسبوقیّة و السّابقیّة فی زمان واحد ام لا.