Transvection definitions