思ひつつ寝ればや人の見えつらむ 夢と知りせば覚めざらましを 誰？

この詩の解説

小野小町による有名な恋の歌です。詩の内容は、 思ひつつ寝ればや人の見えつらむ夢と知りせば覚めざらまし というもので、もしそれが「夢」と知っていたら目覚めなかっただろうという暗示があります。
ここで、「反実仮想」という表現が使われており、実際とは反対の状況を考えさせます。「…せば」は「もしも」と想像する際に使われます。