predikaattifunktio kreikkaksi