A portfolio is an arbitrage when , almost surely, and at least one inequality supplies a strict gain: either or . It is a terminal-consumption arbitrage when , almost surely, and the terminal inequality is strict with positive probability.