Animal mesoderm forms by enterocoelic pouching, through invagination of the endoderm. The main deuterostome phyla are the Echinodermata and the Chordata. Echinoderms are exclusively marine and include starfish, sea urchins, and sea cucumbers. The chordates are dominated by the vertebrates (animals with backbones), which consist of fishes, amphibians, reptiles, birds, and mammals. The deuterostomes also include the Hemichordata (acorn worms). The Ecdysozoa are protostomes, named after their shared trait of ecdysis, growth by moulting. They include the largest animal phylum, the Arthropoda, which contains insects, spiders, crabs, and their kin. All of these have a body divided into repeating segments, typically
Lattice of subgroups finite lattice is isomorphic to a sublattice of the subgroup lattice of some finite group . Subgroups with certain properties form lattices, but other properties do not. However, neither finite subgroups nor torsion subgroups form a lattice: for instance, the free product formula_3 is generated by two torsion elements, but is infinite and contains elements of infinite order. The fact that normal subgroups form a modular lattice is a particular case of a more general result, namely that in any Maltsev variety (of which groups are an example), the lattice of congruences is modular . Lattice theoretic information about the