什么是维恩图？
维恩图是集合论的图像表达。它用圆表示不同集合元素之间的逻辑关系，采用了逻辑运算符（计算机领域中称为“逻辑运算符”）。1881年，约翰·维恩（John Venn，1834—1923）在其著作《符号逻辑》中首次使用了韦恩图。书中，他阐释了乔治·布尔（George Boole，1815—1864）与奥古斯都·德·摩根（Augustus de Morgan，1806—1871）的研究成果，并进行了纠正。他企图指出布尔作品中的矛盾与歧义，尽管人们对此并不接受，却仍然认为他的新图表法是一大进步。韦恩用阴影更清楚地说明了包含与不包含问题。查尔斯·道奇森（Charles Dodgson，1832—1898）[更出名的是他的笔名，刘易斯·卡罗尔（Lewis Carroll）]对维恩图进行了改进，尤其是用封闭图表表示全集。
什么是莫比乌斯带？
莫比乌斯带是指一个单侧曲面。首先将一条长方形纸带的一端扭转180度，然后再将两端连接起来，这样得到的曲面就是莫比乌斯带。沿着纸带的中心剪成两半，就会得到一个扭曲了四个180度的纸带。为了解释单侧曲面的特性，德国数学家奥古斯特·费迪南德·莫比乌斯（August Ferdinand Möbius，1790—1868）设计了莫比乌斯带，并记录在论文中。然而这份论文直到他逝世后才被发现，得以出版。另外一位19世纪的德国数学家约翰·班尼迪克·利斯廷（Johann Benedict Listing，1808—1882）也在同一时期独立发展出这一概念。
莫比乌斯带
