Corollary 2. To make it easier to understand, the above four concepts of axiom 3 are compared with axiom 1.