Jump to content

disjointUnionOf (P370)

From ARXIVE
Revision as of 22:21, 28 April 2026 by Admin (talk | contribs) (‎Created a new Property)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.
Language Label Description Also known as
English
disjointUnionOf
The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.

    Data type

    Item

    Statements