5.4.1　c= についての注意

　また，注意ですが，Mizar では ⊆ の代わりに c= を使いますが，c= を使う場合は c= の前後に1つづつスペースをあける必要があります．