A logical relationship in which a successor activity cannot start until a predecessor activity has finished.