Molecules of ligancy 4 that have been derived from an allene, an ethylene, a tetrahedral, and a square-planar skeleton have been investigated to show that their symmetries are dually and distinctly controlled by point groups and permutation groups. Insomuch as the point-group symmetry was exhibited to control the chirality/achirality of a molecule, sphericity in a molecule, and enantiomeric relationship between molecules [S. Fujita, J. Am. Chem. Soc. 112 (1990) 3390], the permutation-group symmetry has been now clarified to control the stereogenicity of a molecule, tropicity in a molecule, and diastereomeric relationship between molecules. To characterize permutation groups, proper and improper permutations have been defined by comparing proper and improper rotations. Thereby, such permutation groups are classified into stereogenic and astereogenic ones. After a coset representation (CR) of a permutation group has been ascribed to an orbit (equivalence class), the tropicity of the orbit has been defined in term of the global stereogenicity and the local stereogenicity of the CR. As a result, the conventional “stereogenicity” has now been replaced by the concept local stereogenicity of the present investigation. The terms homotropic, enantiotropic, and hemitropic are coined and used to characterize prostereogenicity. Thus, a molecule is defined as being prostereogenic if it has at least one enantiotropic orbit. Since this definition has been found to be parallel with the definition of prochirality, relevant concepts have been discussed with respect to the parallelism between stereogenicity and chirality in order to restructure the theoretical foundation of stereochemistry and stereoisomerism. The derivation of the skeletons has been characterized by desymmetrization due to the subduction of CRs. The Cahn–Ingold–Prelog (CIP) system has been discussed from the permutational point of view to show that it specifies diastereomeric relationships only. The apparent specification of enantiomeric relationships by the CIP system has been shown to stem from the fact that diastereomeric relationships and enantiomeric ones overlap occasionally in case of tetrahedral molecules.