In this note we present a general Jordan-Holder type theorem for modular lattices and apply it to obtain various (old and new) versions of the Jordan-Holder Theorem for finite groups. Isbell [ 10] has observed that the Jordan-Holder Theorem may be derived from the Zassenhaus Theorem, and that this yields a uniqueness statement for the correspondence given by the Jordan-Holder Theorem. This result, however, does not give the various versions of the Jordan-Holder Theorem for finite groups that have received some interest more recently, for example, the one that states that for any two chief series of a finite group a correspondence can be found associating Frattini chief factors with Frattini chief factors and non-Frattini ones with non-Frattini ones. Such a theorem was first published by Carter, Fischer and Hawkes [4] for finite soluble groups, and for finite groups in general in the author's [12], with a different approach by Forster in [7] (see also Chapter 1 of [2]). Further, Barnes proved that in soluble groups corresponding complemented (which, for finite soluble groups, means nonFrattini) chief factors have a common (maximal) complement. On the other hand, for arbitrary finite groups the number of complemented chief factors in a given chief series can depend on the series (see Baer and Forster [2] or Kovacs and Newman f 11] for examples).