サブクラスのインスタンスの振る舞いは前述の通りサブクラス自身の不変条件および各メソッドの事前条件と事後条件によって定義されるが、一方でサブクラスのインスタンスはクライアントと継承元のスーパークラスの契約に拘束され、スーパークラスのインスタンスとしても振る舞えなければならない(リスコフの置換原則)。したがって、クライアントと継承元のスーパークラスの間の契約を実現するため、サブクラスはスーパークラスの不変条件を常に満たさなければならず(したがってサブクラスの不変条件は自身の不変条件とすべてのスーパークラスの不変条件の論理積となる)、またサブクラスの事前条件はスーパークラスの事前条件より弱く(または等しく)、サブクラスの事後条件はスーパークラスの事後条件より強く(または等しく)なければならない。ここで、「条件が条件より強い」とは、が成り立つならも必ず成り立ち、逆は成り立たないことを言う。例えば、実数に対してが成り立つなら常にが成り立つが、逆は成り立たない。この場合、実数に対する条件は条件より強い、と言える。他方「条件が条件より弱い」とは、がより強いことを指す。代アニ学院ヒューストン・ダイナモヒューストン・ダイナモFC()は、アメリカ合衆国の南部、テキサス州の都市ヒューストンにホームを置くサッカークラブである。メジャーリーグサッカー所属。概要.サンノゼからヒューストンに移転した理由の一つとして、サンノゼでは手に入らなかったサッカー専用スタジアムが、ヒューストンでは手に入ると言う思惑があったためでもある。名称.歴史.フランク・ダムロッシュ概要.会場.平城宮跡(メイン)会場.尚、平城宮跡会場は閉幕後は、通常の平城宮跡の営業状態へ戻り、既存の施設である平城宮跡資料館、遺構展示館、朱雀門、東院庭園と新しく第一次大極殿が加わり現在も無料で一般公開されている。※定休日あり奈良県内全域.巡る奈良事業として、特別イベントや特別開帳のイベントが行われた。基本事業.当初計画.事業の変更.しかし、平城宮跡でのパビリオン建設は文化庁が難色を示したため断念された。その具体的な経過は明らかにされていない。基本方針.事業規模.当初計画.資金調達の問題.開行事.平城宮跡会場.春季フェア「花と緑のフェア」.