>>747
X上フリーなリー代数の定義ってなんでしたっけ?