hasPontryaginDual

Indicates that one mathematical object is the Pontryagin dual (the group of continuous homomorphisms into the circle group) of another topological abelian group.