[追記 date="2006-03-04"]文言、わずかに手直しをした。[/追記]本編のコレとかでは、簡単なインスティチューションの例を提供しようとしている。インスティチューションの定義くらいは仮定して、本編の例が実際にインスティチューションの例になっていること…