non-empty

  1. REDIRECT Empty set {{R from adjective}}