擬群のアイソトピー
擬群についてのある性質 P が ユニバーサル (普遍的、英: universal) であるとは、その性質が、アイソトピー不変であることと定義される。すなわち、擬群 L においてある性質 P が成り立つか否かと、L のイソトープな擬群でも同様に性質 P が成り立つか否かが一致していることである。明らかに、L の主アイソトープについて P が成り立つかどうかをチェックすれば十分である。
例として、可換擬群のアイソトープは、必ずしも可換とは限らないので、可換性 はユニバーサルではない。 しかし、別の例として、結合性はユニバーサルである。アーベル群であるという性質もユニバーサルな性質である。 実際、任意の群は、G-loop である 。
数学の 抽象代数学分野に於いて、アイソトピー (または イソトピー 英: isotopy) とは、擬群 の代数的概念を分類するために使われる同値関係である。
擬群および準群のアイソトピーは、 Albert (1943) によって導入された。