面白い例

そういえば、インスティチューションの具体例って書いたことない。

お決まりの、フラグ、カウンタ、スタック。代数だと、半群、モノイド、線形空間（または加群）。

多項式全体もうまいことインスティチューションになる。

あと、なんか面白い例はないかいな。命題論理はつまらないか？