少なくとも、線形空間の直交化では
(FA, B) 〜 (A, GB)
が先にあって
(A, B) 〜 (FA, FB)
を取り出すわけです