あー、どの個体定項で定義しても同値だから
図式文字のαで代表させているわけか