"B" no tiene porqué ser un conjunto contable en esta definición, aunque si "B" no es contable, el espacio de Hilbert que resulta no es .