外延抽象方法

method of extensional abstraction