Subclass
In object-oriented programming, subclass is a class that is derived from another class or classes. A subclass is also called a child class or derived class. The class from which a subclass is derived is known as a parent class or base class.
In set theory and its applications throughout mathematics, a subclass is a class contained in some other class in the same way that a subset is a set contained in some other set.
That is, given classes A and B, A is a subclass of B if and only if every member of A is also a member of B.
If A and B are sets, then of course A is also a subset of B.
In fact, it's enough that B be a set; the axiom of specification essentially says that A must then also be a set.
As with subsets, the empty set is a subclass of every class, and any class is a subclass of itself.
But additionally, every class is a subclass of the class of all sets.
Accordingly, the subclass relation makes the collection of all classes into a Boolean lattice, which the subset relation does not do for the collection of all sets.
Instead, the collection of all sets is an ideal in the collection of all classes.
(Of course, the collection of all classes is something larger than even a class!)
Referenced By
Acrobatidae | Amazon River Dolphin | Antarctic Minke Whale | Atlantic Northern Right Whale | Atlantic Spotted Dolphin | Balaenoptera | Balaenoptera musculus | Balaenoptera omurai | Balaenopteridae | Balaenopterinae | Balaenoptiidae | Bandicoot | Barnacle | Beaked Whale | Beaked Whales | Bennets Wallaby | Bennett's Wallaby | Bettong | Bilbies | Bilby | Black Dolphin | Blue Whale | Boto | Bowhead Whale | Broad-faced Potoroo | Brush-tailed Rock Wallaby | Bryde's Whale | Caenolestidae | Caperea | Carabidae | Chilean Dolphin | Chinese River Dolphin | Clymene Dolphin | Coalfish Whale | Coccinellidae | Colocolo | Commerson's Dolphin | Common Brushtail Possum | Common Minke Whale | Common Planigale | Copepod | Copepoda | Dasyuridae | Dasyuromorphia | Didelphidae | Didelphimorphia | Diplopoda | Diprotodon | Diprotodontia | Duck-billed platypus | Dusky Hopping-mouse | Dusky Hopping Mouse | Dwarf Minke Whale | Dwarf Sperm Whale | Eastern Grey Kangaroo | Eden's Whale | Eschrichtiidae | Eschrichtius | Eubalaena | Eubalaena mysticetus | Fawn Hopping-mouse | Fawn Hopping Mouse | Feathertail Glider | Fin Whale | Finless Porpoise | Franciscana | Fraser's Dolphin | Ganges River Dolphin | Giant wombat | Giardia | Giardia lamblia | Glossary of object-oriented programming | Gray Whale | Greater Bilby | Ground beetle | Heaviside's Dolphin | Hector's Dolphin | Honey Possum | Hopping-mouse | Hopping mice | Hopping mouse | Humpback Whale | Hyperoodontidae | Indus River Dolphin | Inia | Iniidae | Jerboa | Kangaroo rat | Koala | Koala bear | La Plata Dolphin | Lady Beetle | Ladybird | Ladybird beetle | Lagenodelphis | Lagenorhynchus | Lamblia intestinalis | Leadbeater's Possum | Lice | Linnaean taxonomy ...
|