An expression used to assume an opposite state or an unrealized situation, and indicate that the following situation is possible only when such a condition is met.