It's the definition of types as set of values. Then you have set operations on these types that are lade available. That translates into subtyping consideration

It's the definition of types as set of values. Then you have set operations on these types that are lade available. That translates into subtyping considerations. Cf. Castagna's et.al. For semantic subtyping.