Item:Q8287: Difference between revisions

Created a new Item: disjoint union, modified union operation that indexes the elements according to which set they originated in
 
Property / instance of
 
Property / instance of: set operation / rank
 
Normal rank