A search problem is represented as a relation consisting of all the instance-solution pairs, called a search relation.
Ένα πρόβλημα αναζήτησης αναπαρίσταται ως μια σχέση που αποτελείται από όλα τα ζεύγη στιγμιοτύπου-λύσης, και αποκαλείται σχέση αναζήτησης.