Let be a matrix Lie group. The identity component of is the set of for which there exists a continuous path such that and . Because connectedness and path-connectedness are equivalent, in this case, amounts to the connected component of that contains the identity matrix .
Wikidata ID: Q5988368