数学的構造
(何の構造も持たない) 単なる「はだか」の集合。複数あってもよいが基本的には一つ。
集合論的な定義: 構造種 (species of structure) とは、以下の四つからなる: