本质完全类

essentially complete class