¿Es posible hacer cumplir que un Registro respeta a algunos invariantes?

Supongamos que quisiera crear un tipo de registro que represente los límites mínimo / máximo aceptables: