Normal-form games are games where:
- there is a finite set of agents that act simultaneously without the knowledge of other agents' actions
- every agent has a set of available actions, denoted by , where the action taken by agent is denoted by
- the outcome is defined by an action profile , i.e. the set of actions taken by all agents (often also denoted by )
- the set of all action profiles is denoted by
- every agent has a utility function that maps an action profile to real numbers
- an action profile of all agents except agent is denoted by
- a set of action profiles of all agents except agent is denoted by