推移的
推移律
を満たす