$\{\}$
$\{a,b,c\}$
$\{a\}$
$\{b\}$
$\{c\}$
$\{a,c\}$
$\{a,b\}$
$\{b,c\}$
$write(\{a\})$:
$\sqsupseteq \{a\} \to$ OK
$\not\sqsupseteq \{a\}$
$\not\sqsupseteq \{a\}$
$write(\{b\})$:
$read()$:
$\not\sqsupseteq \{b\}$
$\sqsupseteq \{b\} \to$ OK
$\not\sqsupseteq \{b\}$