高々 (数学)
例えば、「xは高々2である」という表現は「xは多くとも2である」こと、すなわち「x≦2」を意味する。同様に「高々可算(at most countable)」は「有限個(1つもないというケースを含む)または可算無限個である」ということを意味する。これについては通常「可算以下」といった表現はしない。単に「可算」と言った場合も、数え上げることができるという意味で「高々可算」と同じ意味である場合もあるが、「可算」が可算無限のみを意味する場合もあるので、有限個でもよいということを明確に示したい場合に「高々可算」という表現が好まれる。
また、「高々有限個」は「有限個あるいは0個」であることを意味する。0も有限の値であるから、単に「有限個」あるいは「無限個ではない」と言うのと同じ意味であるが、0個の場合もあるということを明確に示したい場合に「高々有限個」という表現が好まれる。