:: deftheorem Def14 defines general MATGRP_0:def 14 :
for n being Nat
for R being Ring
for IT being b₁,b₂ -linear Group holds
( IT is general iff for x being object holds
( x in IT iff x is invertible Matrix of n,R ) );