  The Goodman-Nguyen relation is a partial order generalising the implication
(inclusion) relation to conditional events. As such, with precise probabilities
it both induces an agreeing probability ordering and is a key tool in a certain
common extension problem. Most previous work involving this relation is
concerned with either conditional event algebras or precise probabilities. We
investigate here its role within imprecise probability theory, first in the
framework of conditional events and then proposing a generalisation of the
Goodman-Nguyen relation to conditional gambles. It turns out that this relation
induces an agreeing ordering on coherent or C-convex conditional imprecise
previsions. In a standard inferential problem with conditional events, it lets
us determine the natural extension, as well as an upper extension. With
conditional gambles, it is useful in deriving a number of inferential
inequalities.
