Outlive -> Outlivity? :-) I think talking about the "outlives" relation is reasonably clear. "A outlives B (written B < A) if ...". The relation for <= could

Outlive -> Outlivity? :-) I think talking about the "outlives" relation is reasonably clear. "A outlives B (written B < A) if ...". The relation for <= could be written "outlives or is equal to", or "lives at least as long as". Thus "B <= A" could be spoken "A lives at least as long as B", or "A outlives or is equal to B".