univ

普遍集合

全てのatomを含む集合

即ち、スカラの集合