A true/false test to see whether a transition can fire.

(UML) a Boolean expression that controls whether a specific set of actions in a sequence diagram will execute.

(general) a Boolean expression that determines whether the data passed into a function is valid, controlling whether the function should continue.