The statement "A mug is a cup" is true because A mug holds stuff just like a cup.