が有限集合のとき、公理3.