open subsets

  1. REDIRECT open set