Subtyping in Emerald -- $S$ conforms to $T$
- S provides at least the operations of T
- for each operation in T, the corresponding operation in S has the same number of arguments
- the type of the result of operations of S conform to those of the operations of T
- the types of arguments of operations of T conform to those of the operations of S