⫑ — CLOSED SUBSET OR EQUAL TO (U+2AD1)