Sea X = {x, ...