generated at
2/18/2025, 5:31:30 PM
非圏論的な数学的構造のページテンプレート
圏論的指標のページテンプレート
に統合したい
構造種
ほげほげ
R = \left\lang\mathrm{Hogehoge}\colon X,Y;G \right\rang
主基
principal base
X
Y
副基
auxiliary base
述部
predicate
G \subseteq X \times Y
公理系
axiomatic system