A right coset is represented by a domain record with the following tag components.
The right coset is determined by the following identity components, which every right coset record has.
In addition, a right coset record may have the following optional information components.
trueif the coset is finite, and
falseif the coset is infinite. If not present it is not known whether the coset is finite or infinite.
Previous Up Top Next