ویژگی رابطهای منطقی بین دو فعالیت که در آن پایان یافتن فعالیت پسین مشروط به آغاز شدن فعالیت پیشین است