依存積型の双対は、依存ペア型、依存和型、あるいはσ型と呼ばれる型である。