test 하하
수학적으로 Square는 Rectangle이긴 하지만 Square is a Rectangle은 아니다. 이는 추상화가 기대하는 조건을 만족하지 않는다.하위 타입(subtype) 요구 사항: Ω(x)를 T 타입 객체 x에 대해 증명할 수 있는 특성이라 하자. 이때 S가