真部分関数