x1 is an eventual/tail(-end) x2 of x3; x3 eventually is/has/is characterized by x2(/-ic/ness)
When x3 (n) is understood as a sequence in one variable n (which is well-understood in the definition thereof), then there exists some real number N such that for any n > N, x2 holds true for x1 when considering such x3 (n); in other words, x1 is an x2 for the tail of x3. Examples: "eventually periodic", "eventually bounded", etc.