The definitions used in this article are those given by Willard (1970) and are the more modern definitions.
本文使用的定义是 Willard (1970)给出的更现代的定义。