Inner product and perpendicularity