On signpost systems and connected graphs
By a signpost system we mean an ordered pair , where is a finite nonempty set, and the following statements hold: We say that a signpost system is smooth if the folowing statement holds for all : if , then . We say thay a signpost system is simple if the following statement holds for all : if , then . By the underlying graph of a signpost system we mean the graph with and such that the following statement holds for all distinct : and are adjacent in if and only if ....