a>b 即为有一个必要非充分条件
显然,由a-b=3 能推出 a>b 故为必要条件
但a>b不能推出a-b=3 ,故为非充分条件
综上,a>b 即为有一个必要非充分条件