Like equivalence, the subtype relation is defined differently for each programming language, with many variations possible.
Као једнакост, релација подтипа је дефинисана другачије за сваки језик програмирања, са многим могућим варијацијама.