User:Dfeuer/Definition:Supercomplete Class

Definition
A class $A$ is called supercomplete iff it is both transitive and swelled.