for C being strict FormalContext holds (C .:) .: = C ;