|
10 | 10 | # is regenerated, comments can be added via a `comment` key. |
11 | 11 |
|
12 | 12 | [20c5f855-f83a-44a7-abdd-fe75c6cf022b] |
13 | | -description = "sets with no elements are empty" |
| 13 | +description = "Returns true if the set contains no elements -> sets with no elements are empty" |
14 | 14 |
|
15 | 15 | [d506485d-5706-40db-b7d8-5ceb5acf88d2] |
16 | | -description = "sets with elements are not empty" |
| 16 | +description = "Returns true if the set contains no elements -> sets with elements are not empty" |
17 | 17 |
|
18 | 18 | [759b9740-3417-44c3-8ca3-262b3c281043] |
19 | | -description = "nothing is contained in an empty set" |
| 19 | +description = "Sets can report if they contain an element -> nothing is contained in an empty set" |
20 | 20 |
|
21 | 21 | [f83cd2d1-2a85-41bc-b6be-80adbff4be49] |
22 | | -description = "when the element is in the set" |
| 22 | +description = "Sets can report if they contain an element -> when the element is in the set" |
23 | 23 |
|
24 | 24 | [93423fc0-44d0-4bc0-a2ac-376de8d7af34] |
25 | | -description = "when the element is not in the set" |
| 25 | +description = "Sets can report if they contain an element -> when the element is not in the set" |
26 | 26 |
|
27 | 27 | [c392923a-637b-4495-b28e-34742cd6157a] |
28 | | -description = "empty set is a subset of another empty set" |
| 28 | +description = "A set is a subset if all of its elements are contained in the other set -> empty set is a subset of another empty set" |
29 | 29 |
|
30 | 30 | [5635b113-be8c-4c6f-b9a9-23c485193917] |
31 | | -description = "empty set is a subset of non-empty set" |
| 31 | +description = "A set is a subset if all of its elements are contained in the other set -> empty set is a subset of non-empty set" |
32 | 32 |
|
33 | 33 | [832eda58-6d6e-44e2-92c2-be8cf0173cee] |
34 | | -description = "non-empty set is not a subset of empty set" |
| 34 | +description = "A set is a subset if all of its elements are contained in the other set -> non-empty set is not a subset of empty set" |
35 | 35 |
|
36 | 36 | [c830c578-8f97-4036-b082-89feda876131] |
37 | | -description = "set is a subset of set with exact same elements" |
| 37 | +description = "A set is a subset if all of its elements are contained in the other set -> set is a subset of set with exact same elements" |
38 | 38 |
|
39 | 39 | [476a4a1c-0fd1-430f-aa65-5b70cbc810c5] |
40 | | -description = "set is a subset of larger set with same elements" |
| 40 | +description = "A set is a subset if all of its elements are contained in the other set -> set is a subset of larger set with same elements" |
41 | 41 |
|
42 | 42 | [d2498999-3e46-48e4-9660-1e20c3329d3d] |
43 | | -description = "set is not a subset of set that does not contain its elements" |
| 43 | +description = "A set is a subset if all of its elements are contained in the other set -> set is not a subset of set that does not contain its elements" |
44 | 44 |
|
45 | 45 | [7d38155e-f472-4a7e-9ad8-5c1f8f95e4cc] |
46 | | -description = "the empty set is disjoint with itself" |
| 46 | +description = "Sets are disjoint if they share no elements -> the empty set is disjoint with itself" |
47 | 47 |
|
48 | 48 | [7a2b3938-64b6-4b32-901a-fe16891998a6] |
49 | | -description = "empty set is disjoint with non-empty set" |
| 49 | +description = "Sets are disjoint if they share no elements -> empty set is disjoint with non-empty set" |
50 | 50 |
|
51 | 51 | [589574a0-8b48-48ea-88b0-b652c5fe476f] |
52 | | -description = "non-empty set is disjoint with empty set" |
| 52 | +description = "Sets are disjoint if they share no elements -> non-empty set is disjoint with empty set" |
53 | 53 |
|
54 | 54 | [febeaf4f-f180-4499-91fa-59165955a523] |
55 | | -description = "sets are not disjoint if they share an element" |
| 55 | +description = "Sets are disjoint if they share no elements -> sets are not disjoint if they share an element" |
56 | 56 |
|
57 | 57 | [0de20d2f-c952-468a-88c8-5e056740f020] |
58 | | -description = "sets are disjoint if they share no elements" |
| 58 | +description = "Sets are disjoint if they share no elements -> sets are disjoint if they share no elements" |
59 | 59 |
|
60 | 60 | [4bd24adb-45da-4320-9ff6-38c044e9dff8] |
61 | | -description = "empty sets are equal" |
| 61 | +description = "Sets with the same elements are equal -> empty sets are equal" |
62 | 62 |
|
63 | 63 | [f65c0a0e-6632-4b2d-b82c-b7c6da2ec224] |
64 | | -description = "empty set is not equal to non-empty set" |
| 64 | +description = "Sets with the same elements are equal -> empty set is not equal to non-empty set" |
65 | 65 |
|
66 | 66 | [81e53307-7683-4b1e-a30c-7e49155fe3ca] |
67 | | -description = "non-empty set is not equal to empty set" |
| 67 | +description = "Sets with the same elements are equal -> non-empty set is not equal to empty set" |
68 | 68 |
|
69 | 69 | [d57c5d7c-a7f3-48cc-a162-6b488c0fbbd0] |
70 | | -description = "sets with the same elements are equal" |
| 70 | +description = "Sets with the same elements are equal -> sets with the same elements are equal" |
71 | 71 |
|
72 | 72 | [dd61bafc-6653-42cc-961a-ab071ee0ee85] |
73 | | -description = "sets with different elements are not equal" |
| 73 | +description = "Sets with the same elements are equal -> sets with different elements are not equal" |
74 | 74 |
|
75 | 75 | [06059caf-9bf4-425e-aaff-88966cb3ea14] |
76 | | -description = "set is not equal to larger set with same elements" |
| 76 | +description = "Sets with the same elements are equal -> set is not equal to larger set with same elements" |
| 77 | + |
| 78 | +[d4a1142f-09aa-4df9-8b83-4437dcf7ec24] |
| 79 | +description = "Sets with the same elements are equal -> set is equal to a set constructed from an array with duplicates" |
77 | 80 |
|
78 | 81 | [8a677c3c-a658-4d39-bb88-5b5b1a9659f4] |
79 | | -description = "add to empty set" |
| 82 | +description = "Unique elements can be added to a set -> add to empty set" |
80 | 83 |
|
81 | 84 | [0903dd45-904d-4cf2-bddd-0905e1a8d125] |
82 | | -description = "add to non-empty set" |
| 85 | +description = "Unique elements can be added to a set -> add to non-empty set" |
83 | 86 |
|
84 | 87 | [b0eb7bb7-5e5d-4733-b582-af771476cb99] |
85 | | -description = "adding an existing element does not change the set" |
| 88 | +description = "Unique elements can be added to a set -> adding an existing element does not change the set" |
86 | 89 |
|
87 | 90 | [893d5333-33b8-4151-a3d4-8f273358208a] |
88 | | -description = "intersection of two empty sets is an empty set" |
| 91 | +description = "Intersection returns a set of all shared elements -> intersection of two empty sets is an empty set" |
89 | 92 |
|
90 | 93 | [d739940e-def2-41ab-a7bb-aaf60f7d782c] |
91 | | -description = "intersection of an empty set and non-empty set is an empty set" |
| 94 | +description = "Intersection returns a set of all shared elements -> intersection of an empty set and non-empty set is an empty set" |
92 | 95 |
|
93 | 96 | [3607d9d8-c895-4d6f-ac16-a14956e0a4b7] |
94 | | -description = "intersection of a non-empty set and an empty set is an empty set" |
| 97 | +description = "Intersection returns a set of all shared elements -> intersection of a non-empty set and an empty set is an empty set" |
95 | 98 |
|
96 | 99 | [b5120abf-5b5e-41ab-aede-4de2ad85c34e] |
97 | | -description = "intersection of two sets with no shared elements is an empty set" |
| 100 | +description = "Intersection returns a set of all shared elements -> intersection of two sets with no shared elements is an empty set" |
98 | 101 |
|
99 | 102 | [af21ca1b-fac9-499c-81c0-92a591653d49] |
100 | | -description = "intersection of two sets with shared elements is a set of the shared elements" |
| 103 | +description = "Intersection returns a set of all shared elements -> intersection of two sets with shared elements is a set of the shared elements" |
101 | 104 |
|
102 | 105 | [c5e6e2e4-50e9-4bc2-b89f-c518f015b57e] |
103 | | -description = "difference of two empty sets is an empty set" |
| 106 | +description = "Difference (or Complement) of a set is a set of all elements that are only in the first set -> difference of two empty sets is an empty set" |
104 | 107 |
|
105 | 108 | [2024cc92-5c26-44ed-aafd-e6ca27d6fcd2] |
106 | | -description = "difference of empty set and non-empty set is an empty set" |
| 109 | +description = "Difference (or Complement) of a set is a set of all elements that are only in the first set -> difference of empty set and non-empty set is an empty set" |
107 | 110 |
|
108 | 111 | [e79edee7-08aa-4c19-9382-f6820974b43e] |
109 | | -description = "difference of a non-empty set and an empty set is the non-empty set" |
| 112 | +description = "Difference (or Complement) of a set is a set of all elements that are only in the first set -> difference of a non-empty set and an empty set is the non-empty set" |
110 | 113 |
|
111 | 114 | [c5ac673e-d707-4db5-8d69-7082c3a5437e] |
112 | | -description = "difference of two non-empty sets is a set of elements that are only in the first set" |
| 115 | +description = "Difference (or Complement) of a set is a set of all elements that are only in the first set -> difference of two non-empty sets is a set of elements that are only in the first set" |
| 116 | + |
| 117 | +[20d0a38f-7bb7-4c4a-ac15-90c7392ecf2b] |
| 118 | +description = "Difference (or Complement) of a set is a set of all elements that are only in the first set -> difference removes all duplicates in the first set" |
113 | 119 |
|
114 | 120 | [c45aed16-5494-455a-9033-5d4c93589dc6] |
115 | | -description = "union of empty sets is an empty set" |
| 121 | +description = "Union returns a set of all elements in either set -> union of empty sets is an empty set" |
116 | 122 |
|
117 | 123 | [9d258545-33c2-4fcb-a340-9f8aa69e7a41] |
118 | | -description = "union of an empty set and non-empty set is the non-empty set" |
| 124 | +description = "Union returns a set of all elements in either set -> union of an empty set and non-empty set is the non-empty set" |
119 | 125 |
|
120 | 126 | [3aade50c-80c7-4db8-853d-75bac5818b83] |
121 | | -description = "union of a non-empty set and empty set is the non-empty set" |
| 127 | +description = "Union returns a set of all elements in either set -> union of a non-empty set and empty set is the non-empty set" |
122 | 128 |
|
123 | 129 | [a00bb91f-c4b4-4844-8f77-c73e2e9df77c] |
124 | | -description = "union of non-empty sets contains all unique elements" |
| 130 | +description = "Union returns a set of all elements in either set -> union of non-empty sets contains all unique elements" |
0 commit comments