The simple groups appearing in a composition series of a finite group are independent of the choice of composition series by the Jordan–Hölder theorem, but I'm not aware of a way to define these groups that doesn't involve a choice of composition series.