>>670
場合分けのやつのことです。。

0より大きかったら同時に満たす部分が出てきます