Semidefinite embedding