Now that we have some examples to inform our intuition, let's look at the standard technical definition of a formal concept, which is based on what are called "derivation operators."