double dual

[ریاضیات] دوگان مضاعف