De manera informal, un espacio S es un conjunto S de los valores y un conjunto S de las operaciones sobre S que van de (S) en S y están interrelacionadas por propiedades algebraicas.