代数的データ型は何らかの代数的構造を持つデータ型だ、と考えていい？

逆に言えば、代数的構造を持たないのは代数的データ型ではない？