Similar to 平面三項環

• 

  両側加群

  Bimodule
  
• 

  ループのアイソトピー

  Isotopy of loops