الخصائص دي ممكن تتثبت للأرقام المنطقية ونظم الأعداد الموضعية، وما بتستخدمش كتعاريف في الرياضيات.