Axiomatic Specifications:

In this section, we describe the requirements of University Sports Management System. A computerized system maintains information about players and teams in several universities and games played between the universities. Each university has a set of players, considered to be the sportsmen of the university. The players for a team are selected from the set of players of the university. A university may have more than one team whose players are selected from the same pool, and so a player from a university may play for more than one team. The following rules must be obeyed by the universities and their teams:

Each team is associated with exactly one university.

Each player is associated with exactly one university.

A university may have more than one team.

The players for a team are chosen from the players of the same university.

A player from a university may play for more than one team of the same university.

No two teams from the same university play against each other.

What is the Invariant?