可约性

reducibility