Set theory in mathematics is a high level of abstraction.

abstraction 是名词，来自动词 abstract（抽象化）。abstract 由前缀 abs-（表示"离开"）和词根 tract（拉、抽）组成，字面意思是"抽离出来"。在数学和哲学中，abstraction 指从具体事物中抽取出共同特征形成概念的过程，即"抽象"。