![]() |
Entity > Abstract > Quantity > Number > RealNumber > RationalNumber > Integer > EvenInteger |
![]() ![]() | ||||
EvenInteger | ||||
subject | fact |
EvenInteger | documentation An Integer that is evenly divisible by 2 | ![]() |
has axiom (=> | ![]() | |
is a kind of Integer | ![]() | |
Integer | is first domain of PredecessorFn | ![]() |
is first domain of SuccessorFn | ![]() | |
is first domain of YearFn | ![]() | |
is second domain of ExponentiationFn | ![]() | |
is second domain of singleValued | ![]() | |
is partitioned into NegativeInteger, NonnegativeInteger | ![]() | |
is partitioned into OddInteger, EvenInteger | ![]() | |
Abstract | is disjoint from Physical | ![]() |