Maybe my brain isn't fully operational yet this morning, but I feel like this is backwards: > X ⊂ Y. > This subset relationship could be represented as inhe

Maybe my brain isn't fully operational yet this morning, but I feel like this is backwards: > X ⊂ Y. > This subset relationship could be represented as inheritence in a language like Java or Python, if these sets are meant to be types: > class X extends Y { ... } If X extends Y, then isn't X a superset of Y, not a subset? I feel like it should be: class Y extends X { ... }