If the bundle x is revealed (directly or indirectly) as preferred to the bundle y and x 1 y, then it is never the case that the y is revealed (directly or indirectly) as preferred to x; so the necessary and sufficient condition for well-behaved preference is ( )