たとえば
T：有限または無限集合
N⊆M：Mの部分集合
その部分集合族{N_t}(∃t∈T)
Nの元の族{a_t}(∀t∈T)

こんな風に書くことが多いから{}は譲れない