外延抽象

extensional abstraction