3.1 半格、格与不动点