Los subtipos se emplean para definir un subconjunto de un determinado definido por una restricción.