k^{\complement}