関数 f(x) が凸関数であるとき、任意の x, y について成り立つ不等式を何というか。

分散型バージョン管理システムGitにおいて、ローカルの変更を共有リポジトリに反映させる操作はどれか。