idempotence

Rules

isId

Rules

isReal

BaseLaws