Un subjoc [1] în teoria jocurilor este orice parte a unui joc în formă extinsă care îndeplinește următoarele condiții: [2]
Intuitiv, un subjoc este o parte a unui joc mai mare (cuprinzând joc, supra-joc), care poate fi considerat ca un joc separat. În acest sens, dacă în timpul jocului se ajunge la poziția inițială a unui subjoc, în viitor, participanții se pot concentra pe găsirea strategiilor optime în acesta, făcând abstracție de preistorie și luând în considerare poziții care nu sunt incluse în subjoc.
Această posibilitate este oferită de proprietățile sub-jocului enumerate mai sus. Primul și al treilea dintre ei spun că părțile care fac mișcări în subjoc știu sigur că sunt în el. Dacă poziția inițială este într-un set de informații multipunct sau dacă pozițiile din partea de joc luată în considerare intersectează unele seturi de informații fără a le include complet, aceasta înseamnă că cel puțin una dintre părți nu poate spune cu certitudine că joacă un subjoc.
A doua proprietate spune că subjocul trebuie să includă toate mișcările legale ale jucătorilor, la fel ca și jocul care îl însoțește. În caz contrar, nu poate fi garantat că comportamentul rațional în el va fi rațional în partea corespunzătoare a jocului încadrat.
Conceptul de subjoc este folosit pentru a găsi echilibre perfecte sub-joc , care sunt rafinamente ale echilibrului Nash care iau în considerare natura dinamică a jocurilor într-o formă extinsă și elimină echilibrele bazate pe amenințări nesigure.