At the implementation level, the supertype and its subtype$($s$)$ maintain a$($n$)$ relationship.

self$-$referencing

$1$:$1$

$1$:M

M:N