برای اینکه ببینیم آیا این رابطه یک تابع است یا نه، باید تعریف تابع را در نظر بگیریم. تابع یک رابطه است که به هر ورودی، دقیقاً یک خروجی نسبت میدهد.
گروه خونی یک ویژگی مشخص برای هر فرد است. هر فرد فقط یک گروه خونی دارد. بنابراین، رابطهای که به هر فرد، گروه خونی او را نسبت میدهد، دقیقاً یک خروجی (گروه خونی) برای هر ورودی (فرد) دارد.
پس این رابطه یک تابع است.