すべてのpにおいて集合Spに含まれるiについて各集合Tiの和集合はMpである。を、数式で表すとたった一行になる。