We provide a utility representation theorem for the revealed preference of an agent choosing in arbitrary space endowed with separable partial order. The result can be applied to construct new tests choices over infinite consumption streams and probability distribution spaces, among other cases interest economics. As illustration, we best-responding behavior strategic games horizon problems.