の基底は次の集合で与えられる: