이산수학 하위호환인듯