hasSubset

P5797 predicate

Indicates that one set is entirely contained within another set, with all elements of the first set also belonging to the second.

Aliases (6)

subsetOf ×7
includesSubclass ×5
areSubsetOf ×3
belongsToSubset ×1
subsetIncludes ×1
subsetRelation ×1

Sample triples (38)

Subject	Object
Actinopterygii	Chondrostei ("includesSubclass") →
Actinopterygii	Cladistia ("includesSubclass") →
Actinopterygii	Neopterygii ("includesSubclass") →
Ada (programming language)	SPARK Ada →
Alexandrian text-type	proto-Alexandrian text →
Annelida	Hirudinea ("includesSubclass") →
Annelida	Oligochaeta ("includesSubclass") →
BEL	ISO 3166-1 ("belongsToSubset") →
Byzantine text-type	Byzantine subgroups identified by von Soden and others →
Byzantine text-type	Kappa (K) family of manuscripts →
Gaussian integers	complex numbers ("subsetOf") →
Gaussian integers	ℂ ("subsetOf") →
Java Platform, Standard Edition	Java Platform, Enterprise Edition ("subsetOf") →
Kanji	jinmeiyō kanji →
Kanji	jōyō kanji →
National Historic Landmark	National Register of Historic Places listings ("subsetOf") →
Platonic solids	convex polyhedra ("areSubsetOf") →
Platonic solids	regular polyhedra ("areSubsetOf") →
Portable Document Format	PDF/A →
Portable Document Format	PDF/E →
Portable Document Format	PDF/UA →
Portable Document Format	PDF/VT →
Portable Document Format	PDF/X →
Riemann integral	Lebesgue integrable functions on a finite interval ("subsetOf") →
Separatists	Pilgrims ("subsetIncludes") →
Shakespeare quartos	Pavier quartos →
Shakespeare quartos	bad quartos →
Shakespeare quartos	first quartos →
Shakespeare quartos	good quartos →
Shakespeare quartos	second quartos →
Surreal numbers	day-n numbers (numbers born on day n in the construction) →
UC Berkeley faculty	faculty of the University of California ("subsetOf") →
Unicode Scalar Values	Unicode code points ("areSubsetOf") →
Zermelo set theory	Zermelo–Fraenkel set theory with choice ("subsetOf") →
spacetime manifold	null curves →
spacetime manifold	spacelike hypersurfaces →
spacetime manifold	timelike curves →
von Neumann universe	for each α, V_α ⊂ V ("subsetRelation") →