Definicni obor funkce lze zkoumat jako dve nerovnosti

>    f:=x->log(x);

f := x -> log(x)

>    a:=solve(f(x)>0,x);

a := RealRange(Open(1),infinity)

>    b:=solve(f(x)<0,x);

b := RealRange(Open(0),Open(1))

>    a union b;

`union`(RealRange(Open(0),Open(1)),RealRange(Open(1),infinity))

>    simplify (%);

`union`(RealRange(Open(0),Open(1)),RealRange(Open(1),infinity))

>   

>   

>