A proper subset relation demonstrated only via diagonalization may establish a formal separation wit...