Axiomatic characterizations of hyperuniverses and applications