Outlives bound

A bound such as a: b stating that one lifetime or type remains valid for at least another lifetime.