A logical relationship in which a successor activity cannot finish until a predecessor activity has started.