Assertion: set's element | /r/HasProperty | equal
Facets:
value: to the parameter
type: OTHER
value: to the intersection over all subgroups
type: OTHER
Source sentences:
text: That is, all elements of A are also elements of B. A and B may be equal; if they are unequal, then A is a proper subset of B. The relationship of one set being a subset of another is called inclusion or sometimes containment.
text: In other words, if S is a subset of a group G, then ⟨S⟩, the subgroup generated by S, is the smallest subgroup of G containing every element of S, which is equal to the intersection over all subgroups containing the elements of S; equivalently, ⟨S⟩ is the subgroup of all elements of G that can be expressed as the finite product of elements in S and their inverses.
text: The comparison uses the Java equals method of the element to check if the element is equal to the parameter.
text: This is so because the Set interface is defined in terms of the equals operation, but a sorted set performs all element comparisons using its compareTo (or compare ) method, so two elements that are deemed equal by this method are, from the standpoint of the sorted set, equal.