i'm pretty sure extensions imply being supersets ​ like ​ by definition