Формальды түрде, егер G тобында екілік операция ∗ болса, онда G-нің H ішкі жиыны G-ның ішкі тобы деп аталады, егер H да ∗ операциясы бойынша топ құраса. Дәлірек айтқанда, H - G-тің ішкі тобы, егер ∗-қа H × H шектеуі H-дегі топтық операция болса. Бұл көбінесе H ≤ G ретінде белгіленеді, ол "H - G-тің ішкі тобы" деп аталады.