In fact, the set of all n × n orthogonal matrices satisfies all the axioms of a group.
Μάλιστα, το σύνολο όλων των n×n ορθογώνιων πινάκων ικανοποιεί όλες τις ιδιότητες της ομάδας.