The precise definition is as follows (Bourbaki 1989, §II.1.6).
正確な定義は以下のようである (Bourbaki 1989, §II.1.6)。