Predikatene , , og gjenkjenner hver enkel type, mens predikatet gjenkjenner alle. Dersom et tall er et heltall, så vil det også være et rasjonelt tall, et reelt tall og et komplekst tall. Mens et rasjonalt tall som 5/8 vil også være et reelt og komplekst tall, men ikke et heltall.