Определе́ние че́рез абстра́кцию — способ описания (выделения, «абстрагирования») не воспринимаемых чувственно («абстрактных») свойств предметов путем задания на предметной области отношения типа равенства (тождества, эквивалентности). Такое отношение, обладающее свойствами рефлексивности, симметричности и транзитивности, индуцирует разбиение предметной области на непересекающиеся классы (классы абстракции, или классы эквивалентности), причем элементы, принадлежащие одному классу, неотличимы по определяемому таким образом свойству. В теории множеств определяется мощность множеств через отношение теоретико-множественной эквивалентности. Определение через абстракцию опирается на принцип абстракции, или принцип свертывания, согласно которому каждому свойству соотносится класс (множество) объектов, обладающих этим свойством. В практических приложениях этот принцип удобен, но постулирование его как универсального методологического закона приводит к трудностям, проявляющимся в виде парадоксов логики и теории множеств.