Αν μια μέθοδος μιας κλάσης οριστεί με τον προσδιοριστή abstract
και χωρίς σώμα τότε η συνάρτηση αυτή είναι
ιδεατή (abstract) δηλαδή δεν έχει υλοποίηση στη
συγκεκριμένη κλάση.
Παράδειγμα:
Αν μια κλάση περιέχει (ή έχει κληρονομήσει)
τουλάχιστον μια ιδεατή μέθοδο τότε και αυτή πρέπει να οριστεί με τον
προσδιοριστή abstract και
ονομάζεται ιδεατή (abstract).
Σε μεταβλητές τύπου μιας ιδεατής κλάσης μπορούν να ανατεθούν αντικείμενα
από μη ιδεατές υποκλάσεις της.
Τα ίδια όμως τα αντικείμενα μιας ιδεατής κλάσης δεν μπορούν ποτέ να
δημιουργηθούν αυτούσια.