指標 (数理論理学) : 各構造が持つ演算および関係とそのアリティの組をすべて指定するもの。普遍代数学における代数系の「型」など。