Let q(x) be a property provable about objects x of type T. Then q(y) should be true for objects y of type S where S is a subtype of T.

Let q(x1, x2) be a property provable about objects x1 and x2 of type T. Then q(y1, y2) should be true for objects y1 and y2 of type S where S is a subtype of T.

Object.ReferenceEquals(x1, x2) || !x1.Equals(x2)

Object.ReferenceEquals(y1, y2) || !y1.Equals(y2)

void g(Rectangle& r)
{
    r.SetWidth(5);
    r.SetHeight(4);
    assert(r.GetWidth() * r.GetHeight()) == 20);
}

void f(Object x1, Object x2)
{
    Debug.Assert(Object.ReferenceEquals(x1, x2) || !x1.Equals(x2));
}

class My
{
protected:
    int data;  
    ...
public:
    virtual void Reset(); // Декларировано, что Reset выставляет data в 0. (Задан семантический контракт)
    ...

}

// полиморфная функция
void doSomething (My& my)
{
   ...
   my.Reset();
   ... // код, полагающийся на семантический контракт data == 0
}

class MyChild : public My
{
   virtual void Reset(){data = 1;} // Опс! При перегрузке нарушили контракт.
}

void foo()
{
   MyChild x;
   doSomething(x); // Бац! Прострелили ногу...
}

obj.GetType()

I>Object.ReferenceEquals(x1, x2) || !x1.Equals(x2)
I>

I>Object.ReferenceEquals(y1, y2) || !y1.Equals(y2)
I>

!(x is string)