1 implicational subsystem: 내포적 하위체계