DEF-ROS. Roster Notation / Enumeration Notation.
We write
\[\begin{align*} \{a,b,c\} &= \{a,b\}\cup\{c\}, \\ \{a,b,c,d\} &= \{a,b,c\}\cup\{d\}, \\ \{a,b,c,d,e\} &= \{a,b,c,d\}\cup\{e\} \end{align*}\]and so on.
For any $a_1$, $\cdots$, $a_n$ ($n\geq 1$),
\[\forall x :\enspace x\in\{a_1,\cdots,a_n\} \enspace\lrimp\enspace x=a_1\lor\cdots\lor x=a_n.\]