Definition of Diversorium