A utility representation theorem for general revealed preference

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