I agree that normality is a specific formalized concept, but you could always require that an encoding function like this is injective.