User blog comment:Alemagno12/How strong is this function? (2)/@comment-25337554-20171111093003/@comment-25601061-20171112125417

1. ((0,0),0) CAN be ω, since (0,0) ∈ S, 0 ∈ S, and ((0,0),0) (= ω) > (0,0) (= 1) and 0 (= 0).

2. Check the second sentence.