正規表現で部分集合判定ってできないの

ということをふと思った。Pattern#isSubsetOf(Pattern)みたいな。A・Bをコンパイル済み正規表現として、A.isSubsetOf(B)は、Aで受け入れられる文字列の集合がBで受け入れられる文字列の集合の部分集合かどうかをbooleanで返す。
たまに使えると便利なところがありそう。
ちょっと調べてみるとこんなのが見つかりました。L1 ⊆ L2であるか確認できるアルゴリズム - その他（プログラミング・開発） 解決済み| 【OKWAVE】
んー、オートマトンとか勉強するとちょっと見えてくるのかな…？