アルキメデス双対(archimedean dual)とも言う。