Relatively complete