全称記号

条件が対象となるすべての要素について成り立つことを表します。