(Definition: The two support sets F and G on the connection mode R#60;U,F#62;, if F =G , then F and G are said to be equivalent, denoted as F≡G. G is said to be a cover of F if F≡G, and vice versa. Two equivalent functional backing sets are identical in expressiveness.)