Originally defined by Edward C. Moore in 1957 as an assertion that moral judgements are of a different order from factual judgements, the concept has since been simplified to deriving an is from an ought.
X ought to be, therefore X is.
X ought not to be, therefore X is not.
This is the opposite of the naturalistic fallacy.