empty subset

  1. REDIRECT Empty set