We show how the fundamental inequality (Cauchy / Aczél) for two vectors in a complex indefinite inner product space depends on the nature of the linear span of these vectors. The superadditivity is referred to restrained norms and metrics, from which some qualitative structures dual to topologies, and called horistologies, are refined.