1/"n"），则称"a"为无穷小量。
一阶性质.在把扩充实数系使其能包含无穷大量和无穷小量时，人们希望能够尽量保持原系统的各种基本的性质（当然不包括阿基米德性质－－无穷量本身不允许它成立），这样的好处是，那些使用基本性质证明过的命题能够在新的系统里自动成立。这里的「基本」通常是指不对集合使用量词，但可以对集合的元素使用（有限次），比如以下公理「对任意的"x"，"x"+0="x"」仍然应该成立；使用两次也行：「对任意的"x"和"y"，"xy"="yx"」，而如果出现「对任意集合"S"