El dominio "A" de "f" es llamado el "espacio de búsqueda" o el "conjunto de elección", mientras que los elementos de "A" son llamados soluciones candidatas o "soluciones factibles".