这是一个关于高一数学的思维导图，主要介绍了集合的概念，元素的性质，常用数集，表示方法，集合间的基本关系，集合的基本运算，充分条件与必要条件，全称量词与存在量词。

如果能从命题p推出命题q，而且也能从命题q推出命题p，则称p是q的的充分必要条件，且q也是p的充分必要条件。