User:Dfeuer/Definition:Supercomplete Class
Jump to navigation
Jump to search
Definition
A class $A$ is called supercomplete iff it is both transitive and swelled.
A class $A$ is called supercomplete iff it is both transitive and swelled.