CHARACTERIZATION OF FINITE COLORED SPACES WITH CERTAIN CONDITIONS

A colored space is a pair (X, r) of a set X and a function r whose domain is $\(^X_2\)$. Let (X, r) be a finite colored space and $Y,\;Z{\subseteq}X$. We shall write $Y{\simeq}_rZ$ if there exists a bijection $f:Y{\rightarrow}Z$ such that r(U) = r(f(U)) for each $U{\in}\({^Y_2}\)$ where $f(U)=\{f(u){\mid}u{\in}U\}$. We denote the numbers of equivalence classes with respect to ${\simeq}_r$ contained in $\(^X_i\)$ by $a_i(r)$. In this paper we prove that $a_2(r){\leq}a_3(r)$ when $5{\leq}{\mid}X{\mid}$, and show what happens when equality holds.