state whether the following statements are true or false for the HA tuple

$\{$

Q

$,$

X

$,$

f

$,$

Init,Inv,E

$,$

G

$,$

R

$\}$

Initial set of states Init is a subset of Q a

$.$

$$true b

$.$

false