Mycielskian

Today it means: A larger graph formed from a given undirected graph by a particular construction that preserves the property of being triangle-free but increases the chromatic number. Full definition →