diff --git a/courseA/IM_Alloy.html b/courseA/IM_Alloy.html
index 858e131..fff42ac 100644
--- a/courseA/IM_Alloy.html
+++ b/courseA/IM_Alloy.html
@@ -30,6 +30,7 @@
 	商品全体を保管する倉庫の集合を <code>Inventory</code> ，商品の集合を <code>Item</code> で表します．<br>
 	以下のモデルでは <code><c1>sig</c1></code> を用いて，<code>ItemId</code> ，<code>Name</code> ，<code>Inventory</code> ，<code>Item</code> の順番にこれらの集合を宣言しています．<br>
 	<code>Inventory</code> には，<code>ItemId</code> から <code>Item</code> への対応関係が <code>itemDB</code> フィールドとして定義されています．<br>
+	ここで，<code>ItemId</code> の右側の <code><c1>lone</c1></code> は１つの <code>Item</code> に対応する <code>ItemId</code> がたかだか１つしかないことを示しています．<br>
 	<code>Item</code> の宣言では，商品名を表す <code>name</code> が <code>Name</code> のインスタンスとして，
 	在庫数を表す <code>count</code> が <c1><code>Int</code></c1> のインスタンスとして定義されています．<br>
 </p>