A set in a cinf is relatively compact iff uniformly bounded and equicontinous
Minor observations