تابع مجازی تابع عضوی از کلاس است که می‌تواند با همان امضا در کلاس فرزند بازتعریف شود.
تابع عضو مجازی مجرد تابعی است که باید در کلاس فرزند بازتعریف شود (در صورتی که کلاس فرزند خودش مجازی مجرد نباشد).
کلاسی که در آن یک تابع عضو مجازی مجرد موجود باشد قابل نمونه‌سازی نیست یعنی نمی‌توان از آن یک شی ایجاد کرد. چه این تابع در خود کلاس تعریف شده باشد چه به آن به ارث رسیده باشد.
هیچ پژوهش انسانی نمی‌تواند ادعای علمی بودن داشته باشد، مگر این‌که از برهان ریاضی برخوردار باشد (لئوناردو داوینچی)
