^aNote that the relationship ≃ defines an equivalence relationship whose equivalence groups are all relations with the same schema.