Set theory for fuzzy sets of higher level