CLOSED SUBSET OR EQUAL TO