StrictInequalities
StrictInequalities is an option to FunctionSign and FunctionMonotonicity, etc. that determines whether strict inequalities should be used in definitions.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.