{} = {} the carrier of T ;
hence {} is Subset of T ; :: thesis: verum