Un conjunto ortogonal se conoce como conjunto ortogonal completo si no existe ninguna función fuera del conjunto que satisfaga la condición de ortogonalidad con respecto a las señales . Es decir, tal que
Si un conjunto ortogonal es completo en , un espacio vectorial de funciones con el producto interno y con dominio en , entonces cualquier función arbitrario puede ser expresado dentro del intervalo como