Subclass (set theory)
id:
subclass-set-theory-203-4847510
title:
Subclass (set theory)
text:
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. One may also call this "inclusion of classes". 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. In fact, when using a definition of classes that requires them to be first-order definable, it is enough that B be a set; the axiom of specification essentially says
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Subclass_(set_theory)
date created:
date modified:
2024-03-06T07:46:12Z
main entity:
{"identifier":"Q3965271","url":"https://www.wikidata.org/entity/Q3965271"}
image:
fields total:
13
integrity:
13