R是一族集合.A包含于R,因此A也是一族集合.
a是A中的某一个元素,因此a也是一个集合,且a属于A.
gamma是A中所有元素（是集合）的并,因此所有A中的元素a都包含于gamma