Relatively complete MAP