کدام دسته از تعاریف زیر، تعریف تابع جزء صحیح x می‌باشد؟    الف: $y=[ x ]=\max \left\{ n|n\in \mathbb{Z},\,n\le x \right\}$ ب: تابع جزء صحیح x تابعی است که به هر عدد حقیقی x جزء صحیح آن را نسبت می‌دهد.پ: تابع جزء صحیح x تابعی است که به هر عدد حقیقی x بزرگ‌ترین عدد صحیح نابیشتر از x را نسبت می‌دهد.
1 الف، ب
2 الف، پ
3 ب، پ
4 الف، ب، پ