是一本描述集合论里面各种符号的教程,描述的十分详细,很好