Neat post.
We have traditionally called this an outlives relationship, but I am going to call it a subset relationship instead, as befits the new meaning of regions.
I think it is really helpful to do away with the outlives terminology. I've always thought it confusing to use terminology that is indicative of 'a <: 'a not applying.