Surely the set of all .co.uk domains is a proper subset of all .uk domains.