for T being 1-sorted holds [#] T = ({} T) ` ;