Start=dual bases See=dual basisMDLD/dual basis Target=Finite-dimensional vector space/Dual basis/Definition