Абстракции принцип

АБСТРАКЦИИ ПРИНЦИП, логический принцип, лежащий в основе определений через абстракцию и связывающий три типа универсалий — классы, свойства и отношения равенства (подобия). Согласно абстракции принципу, любое отношение равенства, определённое на некотором множестве, производит разбиение этого множества, т. е. делит, классифицирует его на попарно непересекающиеся и непустые части равных (в данном отношении) элементов. Указанные части наз. классами абстракции, а само разбиение (семейство этих классов) — фактор-множеством по данному отношению.