theorem Th16: :: FSM_3:16

for E being non empty set
for F being Subset of (E ^omega)
for A being non empty automaton over F holds the carrier of (_bool A) = bool the carrier of A